body {
	padding: 0;
	margin: .5em 8em .5em 4em;
	background-color: white;
	color: black;
}

p, li {
	font-family: serif;
	line-height: 1.25em;
	text-align: justify;
	margin-top: .5em;
	margin-bottom: .5em;
}

h1, h2, h3 {
	font-family: Trebuchet MS, serif;
}

h3 {
	font-size: 1em;
	font-weight: bold;
	margin-top: 1.5em;
	margin-bottom: 1em;
}

ul li {
	list-style: circle;
}

.hint {
	border-bottom: dotted black 1px;
	cursor: help;
}

div.code .hint {
	border: none;
	font-style: italic;
}

.eod {
	text-align: center;
	border-top: solid gray 1px;
	color: gray;
	font-size: .75em;
}

.type {
	font-family: monospace;
}

span.keyword, a.keyword {
	font-family: monospace;
}

pre.programlisting {
	padding: .5em;
	font-family: monospace;
	background-color: #dddddd;
	border: solid gray 1px;
}

pre.programlisting a {
	color: black;
}

.navheader, .navfooter {
	font-style: italic;
}

.releaseinfo {
	font-style: italic;
}
