[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] gendocs.sh: default to a common CSS style sheet for HTML out
From: |
rekado |
Subject: |
Re: [PATCH] gendocs.sh: default to a common CSS style sheet for HTML output |
Date: |
Thu, 11 Dec 2014 23:19:47 +0100 |
>> 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
- [PATCH] gendocs.sh: default to a common CSS style sheet for HTML output, Ludovic Courtès, 2014/12/11
- Re: [PATCH] gendocs.sh: default to a common CSS style sheet for HTML output, Pádraig Brady, 2014/12/11
- Re: [PATCH] gendocs.sh: default to a common CSS style sheet for HTML output,
rekado <=
- Re: [PATCH] gendocs.sh: default to a common CSS style sheet for HTML output, Ludovic Courtès, 2014/12/12
- Re: [PATCH] gendocs.sh: default to a common CSS style sheet for HTML output, rekado, 2014/12/12
- Re: [PATCH] gendocs.sh: default to a common CSS style sheet for HTML output, Ludovic Courtès, 2014/12/12
- Re: [PATCH] gendocs.sh: default to a common CSS style sheet for HTML output, Karl Berry, 2014/12/12
- Re: [PATCH] gendocs.sh: default to a common CSS style sheet for HTML output, Ludovic Courtès, 2014/12/13
- Re: [PATCH] gendocs.sh: default to a common CSS style sheet for HTML output, Karl Berry, 2014/12/13
Re: [PATCH] gendocs.sh: default to a common CSS style sheet for HTML output, Karl Berry, 2014/12/11