body {
	color:			white; /* also set in div.page! */
	background-color:	#444488;
}

h1,h2,h3 {
	background-color:	#990000;
	text-align: center;
	padding-top: 5px;
	padding-bottom: 5px;
	font-family: sans-serif;
}

h4 {
	background-color: #48488c;
	padding-top: 5px;
	padding-bottom: 5px;
}

.code {
	background-color:	#333366;
}

DIV { padding-left: 1em; }

DIV.code {
  margin-left: 0; margin-right: 0;
  border-width: 0.1px; /* NS 4.x trick */
}

a {
	color:			#ccccff;
} 

a:hover {
	background-color:	purple;
	color:			#ffffff;
}

.code B { color: #00ff00; }

B.con { color: #ffff00 }
B.conop { color: #ffff00 }
B.tcon { color: #33ccff; }
.code VAR { font-style: normal; }
VAR.var { color: #ffffff; font-style: normal; }
VAR.varop { color: #ffff00; font-style: normal; }
VAR.tvar { font-style: italic; }
SPAN.lit { color: #ff44ff; }


.cmnt { color: #9999ff;
	background-color: #444488; 
}

DIV.page { border-width: 2;
	   border-style: solid;
	   border-color: white;
	   color: white;
	   background-color:	#333366;
           margin: 20;
	   /* margin-bottom: 20; */
	   padding: 5;
	   page-break-before: always;
	   page-break-inside: avoid;
           align: center; }

.page LI { margin-top: 1ex; margin-bottom: 1ex; }
.page DT { margin-top: 1ex; }
.page    { background-color: #333366; }

BODY.page { font-size: 120%; }

strong { font-family: sans-serif; }