Re: [help-texinfo] CSS

2019-02-18 Thread Jean-Christophe Helary
> On Feb 18, 2019, at 23:15, 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. Why don't you create

Re: [help-texinfo] CSS

2019-02-18 Thread Gavin Smith
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

[help-texinfo] CSS

2019-02-18 Thread Hilaire Fernandes
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 Hilaire [1] https://www.gnu.org/software/dr-geo/doc/en -- GNU Dr. Geo