body {
  border: 0px hidden white;
  font-size: 12px;
  text-align: center;
  font-family: Verdana;
  background-color: white;
  display: block;
  visibility: visible;
}
h1 {
  margin: 0px;
  color: #000000;
  font-size: 18px;
}
h2 {
  font-size: 14px;
  color: #000000;
}
h3 {
  font-size: 14px;
  color: #000000;
}
p {
  margin-top: 0px;
}
code {
  font-size: 14px;
  color: #993399;
}
pre {
  padding: 5px;
  font-size: 14px;
  color: #993399;
}
a:link, a:visited, a:active, a:hover {
	text-decoration: underline;
	font-weight: bold;
	color: #ffcc00;
	font-size: 12px;
	background-color: #D4D9DB;
}
a:active, a:hover {
  color: #ff9200;
  background-color: #D4D9DB;
}
a.menu:link, a.menu:visited {
	color: #AB1F1C;
	text-decoration: none;
	background-color: #D4D9DB;
	font-size: 1.2em;
	font-family: Arial,Helvetica,sans-serif;
}
a.menu:active, a.menu:hover {
	color: #FF9200;
	background-color: #D4D9DB;
	font-family: Arial,Helvetica,sans-serif;
	font-size: 1.2em;
}