body {
	margin: 0;
	background-color: #eeeeee;
}
h1, h2, h3, p, th, td, ul, ol, dl {
	font-family: helvetica, arial, sans-serif;
	color: #000000;
}
h1 {
	font-size: 18pt;
}
h2 {
	font-size: 15pt;
}
h3 {
	font-size: 12pt;
}
p, th, td, ul, ol, dl {
	font-size: 10pt;
}
pre, code {
	font-family: 'courier new' courier, monospace;
	color: #000000;
}
dd {
	padding-top: 0.2em;
	padding-bottom: 0.7em;
}
.header1 {
	color: #ffffff;
	background-color: #000000;
}
.header1 big {
	font-size: 15pt;
}
.header2 {
	color: #000000;
	background-color: #6699cc;
}
th.header1, td.header1,
th.header2, td.header2 {
	padding-top: 3px;
	padding-bottom: 3px;
	padding-left: 10px;
	padding-right: 10px;
}
a:link, a:visited {
	text-decoration: none;
}
a:active, a:hover {
	text-decoration: underline;
}
.page-content {
	padding: 20px;
}
.include, .uncond, .admin {
	color: red;
}
.style, .opt, .visit {
	color: darkgreen;
}
.cond, {
	color: darkblue;
}
.inputex {
	font-size: 9pt;
}