[Manual] Unreadable navigation links and oversize titles

[Thérèse Godefroy]

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.

manual.css.diff
Description: Text Data