Hi,
Thérèse Godefroy <godef...@free.fr> skribis:
>> Understood. The problem I saw before this change is that the navigation
>> links were too prominent and cluttering the page. Reducing the font
>> size seemed like one way to address that.
>>
> Yes, but you can't reduce font size, use a thinner font and use a
> lighter color, all at the same time. :-)
Heh, fair enough. :-)
>> Ideally, they’d be displayed (say) in the margin on wide-enough
>> displays, and they’d be hidden altogether on small displays
>> (smartphones).
>>
>> WDYT?
>>
> Of course it would be better. But the most important word here is
> "ideally". Judging from the time it takes to get any style change
> accepted on gnu.org, I'm not sure anyone will want to get into this
> business.
It’s sad because it’s an incentive for projects that can afford it to do
their own thing independently, and then we lose consistency across GNU
manuals.
>>> 2. Huge headings.
>>> It's not only a matter of taste. They decrease usability on smartphones.
>>
>> OK, let’s adjust that; please go ahead or send a patch. On my laptop it
>> looks fine and makes sections more distinguishable IMO.
>>
> I forwarded my original message to you. It has the patch.
> 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%;
> }
Sounds good to me (can you commit it yourself? if not I’ll do it).
BTW, with Fira Sans, headings don’t look that bad (to me); we could have
a copy of the font at gnu.org and import it.
> @@ -73,7 +72,4 @@
>
> body {
> - /* The shadow around the body is distracting. */
> - box-shadow: 0 0 0 0;
No strong opinion, but that’s unrelated (that’s been there for a while.)
Thanks!
Ludo’.
