2 font-family: helvetica, arial, lucida sans, sans-serif;
3 background-color: white;
14 background-color: #EEEEFF;
19 background-color: #DDDDFF;
24 background-color: #CCCCFF;
70 DIV.note, DIV.warning, DIV.caution, DIV.tip, DIV.important {
72 background-color: #EEEEFF;
76 PRE.programlisting, PRE.screen {
77 border: #630 1px dashed;