body {
	background-color: white;
	color: black;
	font-family: sans-serif;
	line-height: 110%;
	margin-left: 20%;
	margin-right: 20%;
	margin-top: 2em;
}

hr {
	width: 100%;
	text-align: left;
}

dl {
	margin-left: 2em;
}

dl dt {
	margin-top: 1em;
	font-weight: bold;
}

dl dt.nobold {
	margin-top: 2em;
	font-weight: normal;
}

a {
	text-decoration: none;
	background-color: transparent;
	color: blue;
}

a:hover {
	border-bottom: #ff8888 1px solid;
}

a.noline:hover {
	border: none;
}

.listheader {
	text-decoration: underline;
}

.news {
	border: 1px dashed green;
	padding-left: 1em;
	padding-right: 1em;
	margin: 0px;
}

code {
	background-color: #f1f1f1;
	display: block;
	padding: 6px;
	margin-bottom: 20px;
	font-size: 15px;
}