body {
   background: #990000;
   color: white;
   font-family: sans-serif;
   font-weight: bold;
   margin-left: 1em;
}
tt {
	font-family: courier, monospace;
	font-weight: bold;
}
h1 {
   color: #ffe020;
   font-size: 1.3em;
	margin-left: 0em;
}
h2 {
   color: #ffa010;
   font-size: 1.2em;
	margin-left: 0.5em;
}
h3 {
   color: #ffa010;
   font-size: 1.1em;
	margin-left: 1.0em;
}
h4 {
   color: #ffa010;
   font-size: 1.0em;
	font-style: italic;
	margin-left: 1.5em;
}
p {
	margin-left: 2em;
}
pre {
	margin-left: 2em;
	background-color: #600000;
	padding: 1em;
	font-family: courier, monospace;
	font-weight: bold;
}
a {
   color: #C0C0FF;
	text-decoration: none;
}
a:visited
{
   color: #C0C0FF;
}
a:hover
{
	color: #E0E0FF;
}
