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 http://drgeo.eu
