Re: [Dtddoc-develop] DTDDoc font size

[Stefan C. <sch...@sk...>]

> - on MacOSX - don't know which browsers (Stephan, you just bought a  
> Mac, isn't
> it ?)

just done that. Well, it's a matter of taste : I love 'actual' justa  
s much as 'small'. Really, can't decide. Maybe we should try to match  
the "javadoc" standard : everyone knows it and, it has lived quite a  
long time.

what do you think ?

Stefan