h1 {
	margin-right: 0%;
	margin-left: 0%;
	text-align: center;
	padding: 0.5em 0.5em;
	color: #ffffff;
	text-indent: 0.25em;
	border-style: none;
	background-color: #052020;
}
h2 {
	margin-right: 0%;
	margin-left: 0%;
	text-align: left;
	padding: 0.3em 0.3em;
	color: #ffffff;
	text-indent: 0.25em;
	border-style: none;
	background-color: #408020;
}
h3 {
	margin-right: 0%;
	margin-left: 0%;
	text-align: left;
	padding: 0.3em 0.3em;
	color: #000000;
	text-indent: 0.25em;
	border-style: none;
	background-color: #ddddff;
}
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: 2.0em;
	margin-left: 0.0em;
	padding: 0.5em 2em;
}
.result {
	background-color: #e8ffc0;
}
.toc {
	background-color: #ffff80;
	padding: 3pt;
}
a {
	text-decoration: none
}
/*
a:hover {
	text-decoration: underline
}
*/