Hello,
A recent update of gnulib/manual.css (Rev. 1.7) made the navigation
links in <div class="header"> almost invisible, at least for me. The
next one drastically increased font size, to 48px for the main heading
and 32px for node headings on a standard desktop screen.
These huge font sizes may work for Gnulib, but don't forget that
manual.css is used by many GNU manuals. I found several examples of long
titles where switching to a 40px font would decrease wrapping [0]. The
huge node titles are also disturbing, IMO. (Please note that I'm using
DejaVu Sans -- default in Debian 10.)
A patch is attached. It increases the contrast of navigation links,
brings font sizes to more reasonable values, and removes a useless
definition.
Thanks in advance for looking into this issue!
Best regards,
Thérèse
[0] https://www.gnu.org/prep/maintain/maintain.html
https://www.gnu.org/software/units/manual/units.html
https://www.gnu.org/software/shepherd/manual/shepherd.html
https://www.gnu.org/software/jtw/manual/jtw.html
https://www.gnu.org/software/diffutils/manual/diffutils.html
https://www.gnu.org/software/smalltalk/manual/gst.html
etc.
Index: manual.css
===================================================================
RCS file: /web/gnulib/gnulib/manual.css,v
retrieving revision 1.8
diff -U 2 -r1.8 manual.css
--- manual.css 13 Nov 2020 21:28:02 -0000 1.8
+++ manual.css 13 Dec 2020 07:23:09 -0000
@@ -38,6 +38,5 @@
.header {
line-height: 2em;
- font-size: 80%;
- font-weight: lighter;
+ font-size: 87.5%;
color: #433;
}
@@ -47,9 +46,9 @@
.settitle, .top, .chapter {
font-family: Fira Sans, sans;
- font-size: 300%;
+ font-size: 250%;
}
.section, .subsection, .subsubsection {
font-family: Fira Sans, sans;
- font-size: 200%;
+ font-size: 150%;
}
@@ -73,7 +72,4 @@
body {
- /* The shadow around the body is distracting. */
- box-shadow: 0 0 0 0;
-
/* Make sure the body doesn't become to wide: long lines are hard to
read. */
