# From: claudio santambrogio em:bold:cyan strong:bold:cyan dt:bold:cyan var:bold:cyan samp:bold:cyan b:bold:cyan i:bold:cyan alink:reverse:brightgreen:red a:bold:green img:dim:cyan:default status:reverse:cyan:default fig:normal:gray caption:reverse:cyan hr:normal:gray blockquote:normal:cyan:default address:normal:cyan title:normal:cyan:default tt:normal:white:default h1:bold:cyan:default label:normal:cyan value:normal:cyan high:bold:cyan q:normal:cyan small:dim:cyan big:bold:cyan sup:bold:cyan sub:dim:cyan lh:bold:cyan code:normal:cyan alert:bold:red normal:normal:brown:black span.htmlsrc_comment:normal:white span.htmlsrc_tag:normal:cyan ##the following makes no difference (except increasing the speed) since tag ##is already in cyan. #span.htmlsrc_attrib:normal:cyan #span.htmlsrc_attrval:normal:magenta span.htmlsrc_abracket:normal:cyan span.htmlsrc_entity:normal:green ##span.htmlsrc_href: ##span.htmlsrc_entire: span.htmlsrc_badseq:normal:red span.htmlsrc_badtag:normal:red span.htmlsrc_badattr:normal:red span.htmlsrc_sgmlspecial:normal:yellow