body, h1, h2, h3, h4 {font-family: Tahoma, Helvetica, "Times New Roman"}
a:hover {color: #ff4080}
table td table td {background-color: #ffffff}
th {background-color: #e0e0e0}
pre {font-family: courier;
	background-color: #f0f0f0; margin-top: .3em; margin-bottom: .3em;
	margin-left: 0em; margin-right: 0em; padding: .2em;
	border: thin solid #808080; color: green}
pre b {font-family: courier; font-style: normal; color: maroon}
h1, h2, h3, h4 { color: white; background-color: #002080}
h1, h2, h4 { text-align: center }
h1 {line-height: 180%; letter-spacing: 0.1em}
h2 {line-height: 150%; letter-spacing: 0.2em}
h3 {text-indent: .5em; letter-spacing: 0.1em}
h4 {line-height: 130% ; font-weight: normal}
h4 a {color: white}
ul {margin-top: 0.2em; margin-bottom: 0.8em}
p {text-indent: 1em; margin-top: 0.6em; margin-bottom: 0em}
i {font-weight: bold; font-style: italic;
	font-family: times, "Times New Roman"}
b {font-family: courier; font-weight: bold}
tt {font-family: courier; color: green}
em {font-style: normal; font-weight: bold; color: maroon}
dt {margin-top: 0.5em; font-weight: bold; font-family: courier; color: maroon}