html {
	background-color: white;
	color: black;
	display: block;
	font-family: "Lucida Grande", "Lucida Sans Unicode", "Lucida Sans", Geneva, Calibri, "DejaVu Sans", Verdana, Helvetica, sans-serif;
	font-size: 100%;
	line-height: 1em;
	margin: 0;
	padding: 0;
}

body {
	display: block;
	font-size: 100%;
	margin: 3px;
	padding: 0;
}

code,pre {
	font-family: Menlo, Consolas, "DejaVu Sans Mono", "Andale Mono", monospace;
	font-size: 8pt;
	padding-left: 0.5em;
	padding-right: 0.5em;
	padding-top: 0.3em;
	padding-bottom: 0.3em;
	color: rgb(0%, 0%, 0%);
	background-color: rgb(71%, 86%, 93%);
}

div.main {
	padding-top: 1em;
	margin-top: 5em;
	padding-left: 1em;
	padding-right: 1em;
}

div.nav {
	z-index: 100;
	background-color: rgb(100%, 100%, 100%);
	padding-left: 1em;
	padding-top: 0;
	padding-right: 1em;
	margin-top: 0;
	margin-left: 0;
	margin-right: 0;
	margin-bottom: 0;
	position: fixed;
	top: 0;
	left: 0;
	width: 100%;
}

div.nav img {
	padding-left: 0.5em;
	padding-right: 0.5em;
	margin-bottom: 1.5em;
	margin-right: 0.5em;
	margin-top: 0.5em;
	text-align: center;
	line-height: 3em;
}

div.nav a.item {
	text-decoration: none;
	font-weight: bold;
	color: rgb(100%, 93%, 40%);
	background-color: rgb(0%, 52%, 77%);
	padding-left: 0.2em;
	padding-right: 0.2em;
	text-align: center;
	margin-top: 0;
}

div.title h1 {
	font-size: 2em;
	font-weight: bold;
}

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

dd {
	
}

h1 {
	font-size: 160%;
	font-weight: bold;
}

h2 {
	font-size: 140%;
	font-weight: bold;
	margin-top: 18pt;
}

h3 {
	font-size: 120%;
	font-weight: bold;
	margin-top: 12pt;
}

h4 {
	font-weight: bold;
	margin-top: 12pt;
}

img {
	text-align: center;
	vertical-align: middle;
	margin: 0pt;
	padding: 0pt;
	border-width: 0px;
	border-style: none;
	border-color: rgb(0%, 0%, 0%);
}

input {
	line-height: 1;
}

p.addr {
	left: auto;
	right: auto;
	border-top: solid thin black;
	font-size: 70%;
	text-align: center;
}

p,ul,table,dl,ol {
	text-align: justify;
	line-height: 1.5;
}

pre {
	margin-left: 1em;
	line-height: normal;
	border: solid black thin;
	text-align: left;
	width: auto;
}

pre.root {
	color: rgb(0%, 0%, 0%);
	background-color: rgb(100%, 73%, 78%);
}

pre.warn {
	color: rgb(0%, 0%, 0%);
	background-color: rgb(100%, 96%, 73%);
}

table.mit {
	border: none;
	cellspacing: 30;
	cellpadding: 0;
}

table.ref {
	border: none;
	cellspacing: 10;
	cellpadding: 0;
}
