body {
	font-family:"BitStream vera Sans", Verdana, Arial, Helvetica, sans-serif;
	max-width: 50em;
	font-size:12px;
	color:#000;
}

div#content {
    position: absolute;
    left:4ex;
    padding-right: 4ex;
}

p {
	padding-left: 4px;
    line-height:1.5;
}

h1 {
	font-size:22px;
	color:#258;
	padding-left: 4px;
}

h2 {
	background:#E9EEF1;
	font-size:14px;
	margin:1px;
	padding:4px 4px;
	text-decoration:none;
	color:#258;
}

h3 {
	font-size:12px;
	margin:1px;
	padding-left:4px;
	padding-top:4px;
}


dt {
	font-family: "HelveticaNeue-Bold";
	margin-top: 0.45em;
}

ul#menu {
	background:#F1F5F6;
	border:1px solid #B0BEC7;
	padding: 0.6em;
	padding-top: 0.4em;
	padding-bottom: 0.4em;
	list-style-type: none;
	line-height: 1.5em;
	position: fixed;
	width: 24ex;
}

ul#submenu {
	background:#F1F5F6;
	padding-left: 1.0em;
	padding-top: 0em;
	padding-bottom: 0.5em;
	line-height: 1.4em;
	list-style-type: none;
	font-size: 0.90em;
}

li#download {
	margin-top: 1em;
	padding-top: 0.5em;
	border-top: 1px gray dotted;
}

p#requirements {
	margin: 0px;
	padding: 0px;
	padding-right: 3em;
	font-size: 0.9em;
}

a {
	color:#258;
	text-decoration: none;
}

a:hover {
	text-decoration: underline;
}

img {
	border: 0px;
}

blockquote {
	background:#F4F8FA;
	border:1px solid #B0BEC7;
	padding: 0px;
	margin-left: 16px;
	padding-left: 6px;
	font-family: monospace;
	overflow: auto;
}