body {
	width: 50em;
	font-family: sans-serif;
	font-size: small;
}

div#header {
	display: block;
	text-align: center;
	border-bottom: 1px black solid;
}

div#navigation {
	float: left;
	width: 8em;
	border-right: 1px solid black;
	border-bottom: 1px solid black;
	padding-left: 0.5em;
	padding-right: 0.5em;
	margin-left: 0.5em;
	margin-right: 0.5em;
}

div#content {
	overflow: hidden;
}

div#footer {
	float: left;
	text-align: right;
	width: 100%;
	margin-top: 1em;
	border-top: 1px solid black;
}

a:link {
	color: Black;
}

a:visited {
	color: Gray;
}

a:active {
	color: Black;
}

h1 {
	font-weight: bold;
	font-size: x-large;
	margin: 0px;
	padding: 0px;
}

h2 {
	font-weight: bold;
	font-size: medium;
}

h3 {
	font-weight: bold;
	font-size: small;
}

img {
	border: 0;
}

fieldset {
	padding: 0.5em;
}

legend {
	color: blue;
}

form {
	display: inline;
}

input,textarea {
	border: 1px solid black;
}

table {
	border-spacing: 0px;
	border-collapse: collapse;
	border: 1px solid black;
	margin-top: 0.5em;
	margin-left: 1em;
	margin-bottom: 1em;
}

table caption {
	font-weight: bold;
}

table th {
	border: 1px solid black;
	border-bottom: 3px solid black;
	padding-top: 2px;
	padding-bottom: 2px;
	padding-left: 3px;
	padding-right: 10px;
	vertical-align: top;
}

table td {
	border: 1px solid black;
	padding-top: 2px;
	padding-bottom: 2px;
	padding-left: 3px;
	padding-right: 10px;
	vertical-align: top;
}

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

ul li {
	margin-top: 0.5em;
	margin-bottom: 0.5em;
}

ol li {
	margin-top: 0.5em;
	margin-bottom: 0.5em;
}

input {
	font-family: sans-serif;
	font-size: small;
}

textarea {
	font-family: sans-serif;
	font-size: small;
}

.hidden {
	color: white;
}

.important {
	color: red;
}

.note {
	font-weight: bold;
	border-top: 1px dashed black;
	border-bottom: 1px dashed black;
	padding: 0.5em;
}

.warning {
	color: red;
	font-weight: bold;
	border-top: 1px dashed black;
	border-bottom: 1px dashed black;
	padding: 0.5em;
}

.command {
	font-size: larger;
}

.listing {
	border-top: 1px dashed black;
	border-bottom: 1px dashed black;
	padding: 0.5em;
}