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;