On Mon, Feb 18, 2019 at 03:15:43PM +0100, Hilaire Fernandes wrote: > Hi, > > I would like the DrGeo user manuel, when html rendered, to look a bit > more modern[1], and less 90' stylish. > > Do we have repository of CSS to be used with the html output? It could > be a good start. > > Thanks
There is no such thing, although it would be nice if there were. There are some links to CSS files on https://www.gnu.org/software/texinfo/, there are other CSS files which you might use or adapt from manuals like Emacs (https://www.gnu.org/software/emacs/manual.css, https://www.gnu.org/style.css). One manual that comes to mind with nice CSS is the "GNU Octave Interval Package Manual" (https://octave.sourceforge.io/interval/package_doc/index.html#Top). You would have to check the licensing of any CSS file you used, of course.
