Re: [PATCH] gendocs.sh: default to a common CSS style sheet for HTML output

[Ludovic Courtès]

rekado <address@hidden> skribis:

>>> It assumes that <http://gnu.org/s/emacs/manual.css> would be copied to
>>> <http://gnu.org/manual/manual.css> as a starting point.
>>
>> Seems like a good idea to me.
>> Projects can override this if they want.
>>
>> We can merge this after the global css is in place.
>
> FWIW, I created a simple style sheet with what I think are rather
> conservative improvements over the defaults:
>
> - limit lines to a more readable length (34rem)
> - add whitespace (e.g. spacing between paragraphs and between headings)
> - shaded background for examples and TOC
> - adjust font sizes dependent on available window width
> - hanging bullets in lists
>
> This is certainly not perfect and hasn't been tested with many manuals,
> but at the very least the Gzip manual[1] becomes more readable, in my
> opinion, with this style applied.
>
> The stylesheet is available here:
>
>     https://userstyles.org/styles/108215/gnu-manuals

(Note that the actual CSS is at
<http://userstyles.org/styles/108215/gnu-manuals.css>, but the
address@hidden had to be removed in my case so I could try it
locally.)

I tried it with the Guix manual and it looks nice to me!

I would add this, to make @code, @file, etc. use a fixed-width font:

  samp, code {
      font-family: Courier, monospace;
  }

Perhaps also this:

  p { text-align: justify; }

But then it looks like spacing around paragraphs would need to be
slightly increased, WDYT?

Bullet lists also slightly protrude in the margin; perhaps that should
be fixed?

Thanks for your help!

Ludo’.