body, html {
	font-family: "Trebuchet MS", "Bitstream Vera Sans", sans-serif;
	font-size: 10pt;
	color: black;
	background-color: #999999;
	margin: 0;
}

#content {
	float: left;
	clear: left;
	width: 100%;
	padding-bottom: .2em;
}

#footer {
	clear: left;
	color: #4d4d4d;
	margin-top: .2em;
	border-top: 1px dashed #222222;
	font-size: .8em;
	padding: .35em;
}

#footer a {
	color: #4b4b4b;
}

#footer a:hover {
	color: black;
}

#navigation {
	position: absolute;
	right: 0;
	float: right;
	list-style: none;
	display: inline;
	background-color: #aaaaaa;
	color: black;
	margin-top: 0;
	padding-left: 0;
	padding-bottom: .2em;
	border-left: 1px solid #222222;
	border-bottom: 1px solid #222222;
}

#navigation li {
	display: inline;
	padding: .2em;
}

:link, :visited {
	color: black;
	font-weight: bold;
	text-decoration: underline;
}

h1, :link:hover, :visited:hover {
	color: maroon;
}

h1 {
	float: left;
	font-size: 1.75em;
	padding-left: .25em;
	margin-bottom: 0;
	margin-top: 1em;
}

h2 {
	color: #550000;
	font-size: 1.25em;
	margin: .75em .5em .75em .5em;
	padding: 0;
}

h3 {
	color: #550000;
	font-size: 1em;
	margin: .5em .8em .5em .8em;
	padding: 0;
}

img, fieldset {
	border: 0;
	margin: .5em 1em .5em .5em;
}

table {
	border: none;
	border-spacing: 0;
	margin-left: 1em;
}

caption {
	color: maroon;
	font-variant: small-caps;
}

th {
	background-color: #777777;
	text-align: left;
	border-bottom: 1px solid #666666;
	border-right: 1px solid #666666;
	padding: .5em;
}

td {
	color: black;
	background-color: #8f8f8f;
	border-bottom: 1px dashed #777777;
	border-right: 1px dashed #777777;
	padding: .2em;
}

form, pre, p {
	margin: .5em 1em .5em 1em;
	text-align: justify;
}

ul h3 {
	margin-left: 0;
}

.right {
	float: right;
}

.left {
	float: left;
}

tt, .shell {
	font-family: "smoothansi", "Bitstream Vera Sans Mono", "Terminal", monospace;
}

.angryzakk {
	color: black;
	background-color: #aaaaaa;
	font-style: italic;
	font-size: 1.2em;
}

.current {
	font-weight: bold;
}

h3.windows, h3.linux, h3.apple {
	padding-top: 16px;
	padding-left: 50px;
	height: 32px;
	background-repeat: no-repeat;
}

.windows {
	background-image: url('images/windows.png');
}

.linux {
	background-image: url('images/linux.png');
}

.apple {
	background-image: url('images/apple.png');
}