body {
	font-family: Verdana, Arial, Sans-Serif;
  background: #F0F0F6;
	line-height:1.1em;
	min-width: 1000px;
	font-size: 90%;
}

a:link { text-decoration:none; font-weight:bold; color:#900000; }
a:visited { text-decoration:none; font-weight:bold; color:#900000; }
a:hover { text-decoration:none; font-weight:bold; color:#900000; }
a:active { text-decoration:none; font-weight:bold; color:#900000; }
a:focus { text-decoration:none; font-weight:bold; color:#900000; }

div.footer {
	position:fixed;
	width: 100%;
	bottom: 0px;
	font-size: 90%;
	background: #efefef;
	text-align: center;
	padding: 10px;
}

div.output {
	float: left;
	font-size: 90%;
	max-width: 900px;
	min-width: 300px;

	margin-left: 2em;
	margin-top: 1.5em;
	margin-bottom: 5em;
	padding: 1em;

	background-color: white;
	border: dotted 1px;
	border-color: grey;

	white-space: pre;
	font-family: monospace;
}

div.padding {
	clear: left;
	float: left;
	width: 100%;
}

div.navi ul {
	font-family: Arial, Sans-Serif;
	list-style-type: none;
	font-size: 120%;
	font-weight: bold;
	line-height: 1.5em;
}

div.navi li {
	padding: 0.5em 0.5em 0.5em 0.5em;
	margin-bottom: 1em;
	background-color: white;
	background-color: #D0D0D0;
	border: dotted 1px;
	border-color: grey;
}

div.navi li:hover {
	background-color: #E0E0E0;
}

div.navi {
	float: left;
	width: 200px;
}