body {
	background-color: #ffffff;
}
h1 {
	color: #004400;
	background-color: #c0c0ff;
	margin-right: 0%;
	margin-left: 0%;
	text-align: center;
	padding: 0.5em 0.5em;
	text-indent: 0.25em;
	border-style: none;
}
h2 {
	color: black;
	background-color: #c0ffc0;
	margin-right: 0%;
	margin-left: 0%;
	text-align: left;
	padding: 0.1em 0.1em;
	text-indent: 0.25em;
	border-style: none;
}
h3 {
	margin-right: 0%;
	margin-left: 0%;
	text-align: left;
	padding: 0.1em 0.1em;
	color: #000000;
	text-indent: 0.25em;
	border-style: none;
	background-color: #ffddff;
}
pre {
	font-family: monospace;
	border-style: solid;
	border-width: 1px 2px 2px 1px;
	border-color: #6666aa; 
	color: #444466;
	background-color: #e8e8ff;
	white-space: pre;
	margin-right: 4.0em;
	margin-left: 3.5em;
	padding: 0.5em 2em;
}
.toptab_link {
	color: #4444ff;
	background-color: #ffffdd;
	font-size:10pt;
	font-weight:bold;
	margin:3px;
	padding: 0.5em 0.5em;
	text-indent: 0.25em;
	border-style: none;
}
.toptab_nolink {
	color: #000000;
	/* background-color: #ffffdd; */
	font-size:10pt;
	font-weight:bold;
	margin:3px;
	padding: 0.5em 0.5em;
	text-indent: 0.25em;
	border-style: none;
}
a {
	text-decoration: none
}
.desc {
	margin-left:20pt;
	margin-right:20pt;
}
.selected {
	background-color:#444444;
	color:#ffffff;
	padding:2;
}
.nonselected {
	background-color:#ffffff;
	color:#000000;
	padding:2;
}
/*
a:hover {
	text-decoration: underline
}
*/

dt {
	font-weight: bold;
}