h1 {
	color: #000000;
	background: #cccccc;
	font-size: 150%;
	text-align: left;
	font-family: Verdana,Arial;
	padding: 2mm;
}

h2 {
	color: #000000;
	background: #eecccc;
	font-size: 130%;
	text-align: left;
	font-family: Verdana,Arial;
	padding: 1mm;
}

h3 {
	color: #000088; 
	background: #ccccee; 
	font-size: 110%; 
	text-align:left; 
	font-family:Verdana,Arial;
	padding: 1mm;
}

span.sp { color: #cc0000; font-family: Courier New; }
span.ex { color: #880000; font-family: Courier New; }
span.alpha { font-family: Arial; }
span.em { font-family: Arial; font-weight: bold; }
p { margin: 4mm, 2mm, 4mm, 2mm; line-height: 130%; font-family: Arial }
div.quote { margin: 1mm, 10mm, 1mm, 10mm; line-height: 130%; font-family: Arial }

div.note {
	color: #006666;
        background: #eeeeee;
	line-height: 130%;
	margin: 5mm, 15mm, 5mm, 15mm;
	font-family: Arial;
	padding: 2mm, 2mm, 2mm, 2mm;
	font-size:90%;
	font-style:italic;
}

div.caution {
	color: #ff0000;
	line-height: 130%;
	margin: 5mm, 15mm, 5mm, 15mm;
	font-family: Arial;
	padding: 2mm, 2mm, 2mm, 2mm;
	font-size:90%;
	font-style:italic;
}

div.xmp { color: #000000; margin: 2mm, 15mm, 2mm, 15mm; font-family:Courier New; }
xmp { color: #000000; margin: 2mm, 15mm, 2mm, 15mm; }
code { font-family: Courier New; }
sup { font-size: 80%; }
li { margin: 2mm, 0mm, 0mm, 0mm; font-family: Arial; font-size: 90% }
div.note li { margin: 2mm; font-family: Arial; }