html {
	margin-top: 0em;
	padding-top: 0em;
}
body {
	background: #fffff0;
	color: black;
	margin-top: 0em;
	padding-top: 0em;
	margin-left: 0em;
	padding-left: 1em;
}
.left {
	float: left;
	width: 20%;
	min-width: 20em;
	background: #deded0;
	color: black;
	margin-top: 0em;
	padding-top: 1em;
	margin-left: -1em;
	padding-left: 1em;
	padding-bottom: 1em;
	margin-right: 1em;
}
.right {
	float: right;
}
h1 {
	background: #fffff0;
	color: #0f0f6f;
	padding-left: 2%;
	font-size: 300%;
	font-family: sans-serif;
	padding-top: 0em;
	margin-top: 0em;
}
.h2 {
	font-size: 150%;
	font-weight: bold;
	font-family: sans-serif;
}
.h3 {
	font-size: 125%;
	font-weight: bold;
}
th {
	text-align: left;
}
a.lfancy:hover {
	background: black;
	color: #deded0;
}
li {
	margin-left: 1em;
}
.shim {
	margin-top: 0em;
	margin-bottom: 0em;
	padding-top: 0em;
	padding-bottom: 0em;
	font-size: 0%;
}
.underrule {
	border-bottom: 2px solid black;
	padding-bottom: 1em;
}
.overrule {
	border-top: 2px solid black;
	padding-top: 1em;
}
.plain {
	list-style: none;
	margin-left: -1em;
	padding-left: 0em;
}
dd {
	padding-bottom: 0.5em;
}
dt {
	font-weight: bold;
}