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 <[email protected]>
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. */
