Re: HTML processing inside CSS stylesheets?

[Karl Berry]

    Btw, IMHO, the default HTML output is rather dull.

Isn't dull good :)?  Allows one to concentrate on the content.

    the 5% margin

This does look nice, but I'm not sure about making it the default.  I
can easily imagine some people really needing the real estate.

    I also guess CSS's is a highly subjective matter.  

Right.  Another reason why the output is so plain.

    Perhaps having a repository of different Texinfo HTML CSS's 

That would be good.  We'll probably end up with a config directory for
Texinfo anyway, so there would be somewhere to install them.

I'll put it on TODO.

Thanks,
k