branch master updated: website: manual: Add CSS rule for footnotes.

[Ludovic Courtès]

This is an automated email from the git hooks/post-receive script.

civodul pushed a commit to branch master
in repository guix-artwork.

The following commit(s) were added to refs/heads/master by this push:
     new 7eac2e0  website: manual: Add CSS rule for footnotes.
7eac2e0 is described below

commit 7eac2e088a7c3133bbac82e46b24fb192cb71dbf
Author: Ludovic Courtès <ludo@gnu.org>
AuthorDate: Wed Jan 19 22:24:46 2022 +0100

    website: manual: Add CSS rule for footnotes.
    
    * website/static/base/css/manual.css (.footnote): New rule.
---
 website/static/base/css/manual.css | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/website/static/base/css/manual.css 
b/website/static/base/css/manual.css
index 7c9fe99..915c908 100644
--- a/website/static/base/css/manual.css
+++ b/website/static/base/css/manual.css
@@ -316,3 +316,11 @@ label[for=all-dropdowns-hidden] {
     font-family: Fira Sans, sans;
     font-weight: bold;
 }
+
+/* Texinfo footnotes are in a "footnote" <div> but each of them is
+   wrapped in <h5> (go figure).  Have them use a regular font instead
+   of bold.  */
+.footnote > h5 {
+    font-weight: normal;
+    font-size: 0.9em;
+}