body {
	color: black;
	background: white;
	font-family: sans-serif, serif;
	font-size: 1em;
	margin: 0px;
	padding: 0;
}

#titlebar {
	font-family: monospace;
	font-size: 3em;
	padding: 0 0 0 50px;
	margin-top: 20px;
	margin-bottom: 20px;
}

hr {
	margin: 0px;
	padding: 0px;
}

h1 {
	margin-top: 12px;
}

h1, h2, h3 {
	color: #1860AC;
}

#navi {
	background: #EEEEFF;
	border-width: 2px;
	border-style: dotted;
	border-color: #1860AC;
	width: 175px;
	float: left;
	margin-top: 19px;
}

ul.navi {
	list-style-type: none;
	margin: 10px;
	padding: 10px;
}

ul.navi li ul {
	list-style-type: none;
	font-size: 0.9em;
	padding: 0 0 0 15px;
}

a.navi, a.navi:visited {
	text-decoration: none;
	color: #1860AC;
}

a.navi:hover {
	text-decoration: underline;
}

#abstract {
	background: #EEEEFF; 
	float: right;
	margin-left: 15px;
	margin-bottom: 10px;
	width: 200px;
	border-width: 2px;
	padding: 5px;
	border-style: dotted;
	border-color: #1860AC;
	margin-top: 75px;
}

ul.page-menu {
	list-style-type: decimal;
	font-size: 0.9em;
}

ul.page-menu li ul {
	list-style-type: lower-roman;
}

a.menu {
	text-decoration: none;
	color: black;
}

a.menu:hover {
	text-decoration: underline;
}

a.menu:visited {
	color: black;
}

p.date {
	text-align: right;
	font-weight: bold;
	padding: 0px;
	margin: 0 0 5px 0;
}

p.author {
	text-align: right;
	font-weight: lighter;
	padding: 0px;
	margin: 0 0 5px 0;
	font-style: italic;
}

p.description {
	text-align: justify;
	font-size: 0.9em;
	padding: 0px;
	margin: 0px;
}

#main {
	padding: 5px 15px 5px 15px; 
	text-align: justify;
}

#content {
	margin-left: 192px;
}

span.cmd {
	color: #1860AC;
	font-family: monospace;
	font-size: 1.1em;
}

span.file {
	font-family: monospace;
	font-size: 1.1em;
}

p.note {
	background: #BBFFBB;
	padding: 2px;
	margin: 5px;
}

p.warning {
	background: #FFBBBB;
	padding: 2px;
	margin: 5px;
}

p.note:first-letter, p.warning:first-letter {
	font-weight: bold;
	padding-left: 2px;
	font-family: monospace;
	font-size: 1.1em;
	padding-right: 10px;
}

blockquote.console {
	margin: 30px;
}

p.console-title {
	padding: 0 10px 0 10px;
	margin: 0px;
	background: #1860AC;
	color: white;
	font-size: 0.8em;
}

span.use-flag {
	color: maroon;
	font-size: 0.9em;
}

pre.console {
	padding: 10px 10px 5px 10px;
	margin: 0px;
	border-style: dotted;
	border-width: 2px;
	background: #EEEEFF;
	color: #1860AC;
	border-color: #1860AC;
	font-size: 1.1em;
}

span.cmd-output {
	color: black;
	font-size: 0.9em;
}

span.highlight {
	color: red;
}

img.image {
	border-style: dotted;
	border-width: 2px;
	border-color: #1860AC;
	margin: 20px 40px 20px 40px;
}

a.top, a.top:visited {
	text-decoration: none;
	font-size: 10px;
	vertical-align: super;
	color: black;
}

span.emph {
	font-style: italic;
}

a, a:visited {
	color: #1860AC;
}

span.mailaddr {
	font-family: monospace;
	letter-spacing: 1px;
	padding: 0 2px 0 2px;
}

span.antispam {
	display: none;
}

table, tr, td {
	text-align: center;
	background: #EEEEFF;
	color: black;
	border-style: dotted;
	border-width: 2px;
	border-color: #1860AC;
	border-collapse: collapse;
	table-layout: auto;
}

tr:first-child th {
	background: #1860AC;
	color: white;
}

ul.list {
	/* nothing yet O_o */
}

#footer {
	background: #1860AC;
	color: white;
	font-family: monospace;
	font-size: 0.8em;
	font-stretch: wider;
	font-weight: bold;
	text-align: right;
	padding: 5px;
}	

#footer a {
	color: white;
	text-decoration: none;
}

#footer a:hover {
	text-decoration: underline;
}