> In my experience people usually ignore Arena'a BAD HTML indicator, except
> for their own documents, where they find it of great service. Perhaps
> having error marking stylesheet-settable would be a good idea...
>
> $HTML_ERROR : font.style = blink; font.color = yellow; back.color = red
I've added the $HTML_ERROR selector to the list of proposed
environment variables in the last CSS draft specification [1]. But,
that whole section is under fire. Among the strongest charges against
it is the possible introduction of asymmetry ("the user can do this,
but not the author"). And, we probably wouldn't want authors to turn
off the flagging of errors.
[1] http://www.w3.org/hypertext/WWW/Style/css/draft.html
Followup to www-style@w3.org
-h&kon
Hakon W Lie, W3C/INRIA, Sophia-Antipolis, France
http://www.w3.org/hypertext/WWW/People/howcome/