|
From: | Pádraig Brady |
Subject: | Re: [PATCH] gendocs.sh: default to a common CSS style sheet for HTML output |
Date: | Thu, 11 Dec 2014 16:55:02 +0000 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.3.0 |
On 11/12/14 15:59, Ludovic Courtès wrote: > The patch below intends to make on-line manuals prettier by default, and > to make it easier to change their style in the future. > > 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. thanks, Pádraig.
[Prev in Thread] | Current Thread | [Next in Thread] |