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.