body {
	background-color: white;
	color: black;
	font-family: Helvetica, Arial, sans-serif;
	margin: 2em;
	background-color: #f8f8f8;
}
div.code-fragment {
	text-align: left;
	width: 0%;
	border: solid thin;
	border-color: #a0a0a0;
	margin: 0;
	padding: 1em;
	background-color: #f8f8f8;
	color: #000060;
}
pre {
	font-family: monospace;
	background-color: #f8f8f8;
}

div.vhname {
 color : black;
 border: #f8f8ff;
 font-size: 24pt;
 font-family: serif;
 background-color: #f8f8f8;
}

div.subtitle {
 color : black; 
 border: #f8f8ff;
 font-size: 20pt;
 font-family: serif;
 background-color: #f8f8f8;
}

ul
{
list-style-type: disc;
padding: 5px;
margin-left: 0px;
}

table { border-collapse: collapse }
tr#row1 { border-top: 3px solid blue }
tr#row2 { border-top: 1px solid black }
tr#row3 { border-top: 1px solid black }