> 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
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
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