GNU bug report logs - #69432
[PATCH 0/3] Change fonts of the on-line manual

Previous Next

Full log

Message #32 received at 69432 <at> debbugs.gnu.org (full text, mbox):

From: Ludovic Courtès <ludo <at> gnu.org>
To: 69432 <at> debbugs.gnu.org
Cc: Ludovic Courtès <ludo <at> gnu.org>,
 pelzflorian <at> pelzflorian.de
Subject: [PATCH guix-artwork v2 2/3] website: Use Fira Sans for section
 headings only.
Date: Thu, 29 Feb 2024 22:47:13 +0100

With commit b7ccc5cb1b4ec936c00dbd98376c5d2677e60a63, Fira Sans was used
for the body of sections, not just section headings.  This is what
<https://www.gnu.org/software/gnulib/manual.css> prescribes but it’s not
what was intended.

* website/static/base/css/manual.css: Add rule.
---
 website/static/base/css/manual.css | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/website/static/base/css/manual.css b/website/static/base/css/manual.css
index 8ecd872..8970457 100644
--- a/website/static/base/css/manual.css
+++ b/website/static/base/css/manual.css
@@ -323,6 +323,13 @@ h1.settitle, h1.top, h2.chapter, h3.section, h4.subsection, h4.subsubsection {
     font-weight: bold;
 }
 
+/* Use a serif font for section bodies (this overrides /gnulib/manual.css,
+   which currently applies to entire section classes, as opposed to section
+   classes for headings only).  */
+div.settitle, div.top, div.chapter, div.section, div.subsection, div.subsubsection {
+    font-family: serif;
+}
+
 /* 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.  */
-- 
2.41.0

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.