Re: html variations and incompatibility and .init files

Hi,

Here is what I finally did (not allready committed): 
I did an html32.init file for older browsers without style and with the
<font size="-1"><pre> construct. It is not an html 3.2 valid construct
but it is needed in order to have a smallexample or smalldisplay rendered
in smaller font.

For the default .init file, as there is allredy some style, it seemed better
to me to remove the <font> and put the a "font-size: smaller ;" in a pre
style. The html is valid now (and xhtml too).

Pat