[Dtddoc-develop] DTDDoc font size

[<her...@fr...>]

What should be DTDDoc's default font size ? Is it actually too small ?
Such a question is a matter of taste + OS + browser + screen size + ...

To investigate new values and share together our impressions, I've put onli=
ne=20
a font-size demo : http://dtddoc.sourceforge.net/tmp/font-size/size.html
After the actual value, I added 2 proposals with simple changes in=20
DTDDocStyle.css.

Now I need help from DTDDoc users : what do you think of these proposals ? =
Do=20
you have other DTDDocStyle.css to propose ?

Thanks in advance for your feed-back.

Herv=E9