body, td, th, p, div {
	font-family: Verdana, Helvetica, sans-serif;
	font-size: 12px;
	color: #000000;
	font-weight: normal }


;body { background-color: #9aadc7 }
body { background-color: #ffffff }

;div.screen {color: red; font-size: 12px;}
;pre.screen {color: red; font-size: 10px;}
;pre.programlisting {background-color: #e1e1e1; }
;pre.screen {background-color: #e1e1e1; }

;div.refsynopsisdiv {color: green; font-size: 24px;}
;div.refsect1 {color: yellow }