branch master updated: website: Typeset footnotes in the manual consistently.

[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 ee9cab5  website: Typeset footnotes in the manual consistently.
ee9cab5 is described below

commit ee9cab5979d8a1d7886276460eca8be34bf36aad
Author: Ludovic Courtès <ludo@gnu.org>
AuthorDate: Thu Mar 7 09:46:15 2024 +0100

    website: Typeset footnotes in the manual consistently.
    
    This is a followup to b9a55b9091ec739f10802c5057faf85b0c5695f3.
    
    * website/static/base/css/manual.css: Add rules for
    ‘h4.footnotes-heading’ and ‘div.footnote’.
---
 website/static/base/css/manual.css | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/website/static/base/css/manual.css 
b/website/static/base/css/manual.css
index 333f545..5deeedd 100644
--- a/website/static/base/css/manual.css
+++ b/website/static/base/css/manual.css
@@ -343,7 +343,7 @@ label[for=all-dropdowns-hidden] {
 
 /* In title and node titles, use Fira Sans as it is more pleasant and
    more compact than Helvetica.  */
-h1.settitle, h1.top, h2.chapter, h3.section, h4.subsection, h4.subsubsection {
+h1.settitle, h1.top, h2.chapter, h3.section, h4.subsection, h4.subsubsection, 
h4.footnotes-heading {
     font-family: Fira Sans, sans;
     font-weight: bold;
 }
@@ -355,6 +355,10 @@ div.settitle, div.top, div.chapter, div.section, 
div.subsection, div.subsubsecti
     font-family: Linux Libertine O, serif;
     font-size: 18px;
 }
+div.footnote {
+    font-family: Linux Libertine O, serif;
+    font-size: 16px;
+}
 
 /* Arrange so fixed-width samples don't look too big compared to Linux
    Libertine text.  */