> About tab width: The <PRE> element has a WIDTH attribute
> (which sort of defaults to 80, and doesn't really do
> anything on most browsers. When DSSSL-Lite comes along,
> it will be much more useful.) I see no harm in
> adding a tab-width attribute. [...]
>
> I don't see any harm in making this part of a future revision of
> the standard. Anybody else?
Sounds good to me.
You might consider a TABSTOPS attribute too:
<!attlist pre
-- ... other attributes --
tabwidth NUMBER #IMPLIED
tabstops NUMBERS #IMPLIED
>
<pre tabstops="2 4 8 16 32">
..
</pre>
This would also be useful. (And, I hope, might
replace the bletcherous <TAB> element in the current
HTML 3 draft.)
--Joe English
joe@trystero.art.com