body {
	text-align: justify;
	font-family: verdana,arial,helvetica,sans-serif;
	margin-left: 65px;
	margin-right: 65px;
}
a:link, a:visited {
	text-decoration: none;
}
a:hover {
	color: #FF0000;
}
h1, h4 {
    color: #006666;
}
a:link, .heading {
	color: #0000BB;
	line-height: 1em;
}
h1 {
	font-size: 1.5em;
}
h4 {
	font-size: 0.8em;
	border-bottom: 1px solid black;
}
pre, .boxed, .tip {
	display: block;
	border: 1px solid black;
	background: #eeeeee;
	padding: 5px;
	margin: 2px;
}
.mono {
	font-family: monospace;
}
.tip {
	background: #ffee66;
}
hr {
	border-top: 1px solid black;
}
td {
	vertical-align: top;
	padding: 0 0 0 1em;
}
td:first-child:before {
	color: #005577;
	content: "> ";
}
.tip td:first-child:before {
	content: "";
}
html, body {
	margin: 0;
	padding: 0;
	width: 100%;
	height: 100%;
	min-height: 100%;
}
#page {
	position: relative;
	min-height: 100%;
}
#header {
}
#footer {
	position: absolute;
	bottom: 0;
	left: 0;
	right: 0;
	border-top: 1px solid black;
	text-align: right;
}
#header, #content {
	padding: 1em;
}
#footer {
	margin: 1em;
}
li {
	margin: 0.5em;
}
#content {
	padding-left: 75px;
	padding-right: 75px;
}