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

[rekado]

>> 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

-- rekado

___

[1]: https://www.gnu.org/software/gzip/manual/gzip.html