body a:link:hover, a:visited:hover { 
	background-color: #ddeeff; 
}

body a:link, a:visited, div.informaltable p tt {
	color: #000099;
}

html body {
	background: #ffffff;
	margin: 1em 8% 1em 10%;
	color: black;
	margin-left: 10%;
	margin-right: 10%;
}

h1, h2, h3, h4, h5, h6, thead {
	color: #Fff8f8;
	background: #330066;
	padding-top: 0.2em;
	padding-bottom: 0.2em;
	padding-left: 2%;
}

body hr {
	margin: .6em;
}

html {
	margin: 0; 
	padding: 0;
}

table {
	width: 100%;
}

div.informaltable tt {
	color: #cc0000;
}

div.informaltable {
	padding-top: 0.5cm;
	padding-bottom: 0.5cm;
}

div.informaltable td {
	padding-top: 0.2cm;
	padding-right: 0.5cm;
}

pre.programlisting {
	border-right: #646464 1px solid;
	padding-right: 0.5em;
	border-top: #646464 1px solid;
	padding-top: 0.5em;
	border-left: #646464 1px solid;
	padding-left: 0.5em;
	border-bottom: #646464 1px solid;
	padding-bottom: 0.5em;
	white-space: pre;
	background-color: #ddeeff; 
	color: black;
	margin-left: 1em;
	width: 90%;
	display: table;
	font-size: 120%;
}