Re: why 2 css classes for settitle and titlefont ?

[Dumas Patrice]

> Using different classes gives you more flexibility.  I didn't want to
> assume that the two cases would always be treated the same.  For
> example, someone might use @titlefont for something other than the main
> title.

You are right there is no reason why @settitle title and things with 
@titlefont should have the same style as they do totally different things.

Maybe it could be worth explaining a bit what titlefont does when before
top node or after, and the relationship with @settitle. And maybe an 
explaination of what happens to things before @node Top could be usefull
too.

There is another thing I don't understand it is why @settile is taken
into account in the generated html only when there is a 
@titlepage
@end titlepage
It seems to me that it should be taken into account even when there is
no @titlepage ?

Pat