2 background : @HTML_BGCOLOUR@ ;
3 color : @HTML_FGCOLOUR@ ;
4 font-family : arial, helvetica, sans-serif ;
8 font-family : arial, helvetica, sans-serif ;
9 background : @HTML_BGCOLOUR@ ;
10 color : @HTML_FGCOLOUR@ ;
13 font-family : arial, helvetica, sans-serif ;
16 font-family : arial, helvetica, sans-serif ;
22 font-family : arial, helvetica, sans-serif ;
28 font-family : arial, helvetica, sans-serif ;
31 font-family : arial, helvetica, sans-serif ;
34 font-family : arial, helvetica, sans-serif ;
40 font-family : arial, helvetica, sans-serif ;
46 font-family : arial, helvetica, sans-serif ;
52 font-size : xx-large ;
53 background : @HTML_BGCOLOUR@ ;
61 background : @HTML_BGCOLOUR@ ;
69 background : @HTML_BGCOLOUR@ ;
76 font-family : courier, monospace ;
79 a:link { color : #9090FF ; }
80 a:visited { color : #5050FF ; }
81 a:active { color : #FF00FF ; }
82 a:hover { background-color : #202080 ; }