body {
	margin: 0.5em 0.5em;
}

.navheader {
	font-family: Tahoma, Ariel, Helvetica, sans-serif;
	background-color: #5273A4;
	font-size: 12;
}

.navfooter {
	font-family: Tahoma, Ariel, Helvetica, sans-serif;
	background-color: #5273A4;
	font-size: 12;
}

li {
	border: 1px solid white;
	margin: 0;
}
li p {
	display: inline;
}

h1 {
	font-family: sans-serif;
}
h2 {
	font-family: sans-serif;
}
h3 {
	font-family: sans-serif;
}

img {
	border: 1px solid white;
	background-color: white;
}
hr {
	border: 1px dotted gray;
	border-width: 0 0 1 0;
	margin: 1em;
}
th {
	font-family: sans-serif;
	font-weight: bold;
}

.programlisting {
	font-family: monospace;
	background-color: #D0E0E0;
	padding: 6px;
	font-size: 1em;
	display: block;
	padding: 5pt;
	border: 1px dashed gray;
	margin: 0.5em 2em;
}

code.screen, pre.screen {
	font-family: monospace;
	font-size: 1em;
	display: block;
	padding: 5pt;
	border: 1px dashed gray;
	margin: 0.5em 2em;
}