body {
	margin-top: 0px;
	margin-left: 0px;
	margin-right: 0px;
	margin-bottom: 0px}
body, td, p {
	font-family: Verdana, Arial, sans-serif;
	font-size: 11px}
h1, h2, h3 {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 14px;
	font-weight: bold}
h4 {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 11px;
	font-weight: bold}
a {
	text-decoration: none}
a.hover {
	text-decoration: underline}
a.header {
	color: #DCDCDC;
	font-size: 10px;
	font-weight: normal}
a.headerbold {
	color: #DCDCDC;
	font-size: 16px;
	font-weight: bold}
.newstext, .nav {
	line-height: 18px}
pre {
	border: 1px dashed #8CACBB;
	background-color: #DEE7EC;
	overflow: auto;
	padding: 1em}
th {
	font-family: Verdana, Arial, sans-serif;
	font-size: 11px;
	font-weight: bold}
td.yellow {
	background-color: #FFCC00;
	padding-top: 5px;
	padding-bottom: 5px}
td.priceform {
	font-size: 11px;
	text-align: right}
td.code {
	background-color: #EEEEFF;
	text-align: left;
	font-family: courier, monospace;
	font-size: 11px;
	font-weight: normal}
dt.logmsg {
	color: #000099;
	padding-bottom: 5px}
dd.logmsg {
	padding-bottom: 10px}
p.code {
	text-align: left;
	font-family: courier, monospace;
	font-size: 11px;
	font-weight: normal}
kbd {
	font-family: arial, sans-serif;
	border-top: 2px solic #ccc;
	border-left: 3px solid #bbb;
	border-right: 4px solid #aaa;
	border-bottom: 5px solid #888;
	padding: 3px;
	white-space: nowrap;
	color: #000;
	background: #eee}