Setting the height of an element or folding it can be done in the
style sheet. No extra attributes are needed in HTML.
The way to express this in a style sheet has so far not had much
discussion, but it seems likely that here will be a property that can
turn any block-like element into a button (to fold/unfold/popup) or
into a fixed height scrollable box. There will probably be a proposal
in the next draft of the Cascading Style Sheets
<http://www.w3.org/hypertext/WWW/Style/>.
Bert
--
Bert Bos Alfa-informatica
<bert@let.rug.nl> Rijksuniversiteit Groningen
<http://www.let.rug.nl/~bert/> Postbus 716, NL-9700 AS GRONINGEN