Hello Thérèse, > 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.
As I can see from 'cvs log manual.css' that this file is being maintained by Ludo', and Ludo' is not subscribed to this mailing list, I'm adding him to this thread. Style is like taste: it can be debated, and there is no definitive answer that will please everyone. Also, once people have been accustomed to a particular style, they will often prefer this style; therefore debates around style are often influenced by the people's current/recent experience. For me, as long as it's black-on-white or black-on-grey (and not e.g. green-on-black), I'm fine with it. I have no opinion on subtitle sizes and so on. Bruno
