me:
|Exactly. This is what I understood to be the purpose of DIV (and the
|CLASS attribute in general): use the CLASS attribute to trigger al
|kinds of formatting. After all, folding is not structural, it's a
|layout style.
|
|In my style sheet proposal there is a property called "minimized",
|that can be applied to any element (see
|<URL:http://www.w3.org/hypertext/WWW/Style/>).
|
Gavin Nicol:
|Wouldn't a generalised "hide" property be more useful? Folding
|could be accomplished by hiding all the children on the DIV element
|(or whatever).
Both "hide" and "minimized" are needed. For example, <HEAD> gets the
"hide" property, because its contents are never displayed. <FIG> also
has the "hide" property. But "minimized" means that the text *is*
displayed, namely in the form of a button.
Of course, you could unfold elements by removing "hide" properties
from the style sheet. But how would the user know what part of the
style sheet to modify?
Bert
-- Bert Bos Alfa-informatica <bert@let.rug.nl> Rijksuniversiteit Groningen <http://www.let.rug.nl/~bert/> Postbus 716, NL-9700 AS GRONINGEN