html, body {
	color: silver;
	background-color: black;
	padding: 0;
	height: 95%;
	font-size: 12pt;
}

html>body {
	height: 100%;
}

div.all {
	position: absolute;
	/* 100% is bad! */
	width: 98%;
	min-height: 98%;
	margin: 0;
	padding: 0;
	height: 98%;
}

body>div.all {
	height: auto;
	min-height: 100%;
}

div.navbar {
	position: absolute;
	top: 0;
	bottom: 0;
	right: 0%;
	width: 150px;
	padding: 1em;
	margin: 1%;
	border: thin gray solid;
	overflow: auto;
	height: 95%;
}

div.body>div.navbar {
	height: auto;
	position: fixed;
}

div.body {
	margin-right: 170px;
}

div.content{
	margin: 1% 3% 1% 3%;
	height: auto;
	width: auto;
}

div.empty, div.footer {
	height: 80px;
	padding: 0;
}

div.empty {
	width: 1px;
	margin-left: 0;
	margin-right: 0;
}

div.footer {
	position: absolute;
	left: 30px;
	bottom: 0;
	width: auto;
	right: 275px;
}

div.menu ul {
	padding: 0 0 0 1em;
	margin: 0;
}

h1 {
	text-align: center;
	border-bottom: thin solid;
	color: gray;
	background-color: black;
}

h2 {
	text-align: center;
	border-bottom: thin solid;
	color: gray;
	background-color: black;
	margin-left: 10%;
	margin-right: 20%;
}

a:link {
	color: blue;
	background-color: black;
}

a:visited {
	color: red;
	background-color: black;
}

a:hover {
	color: white;
	background-color: black;
}

div.buttons p a img {
	height: 31px;
	width: 88px;
}

div.text p:first-letter {
	font-size: 200%;
	font-style: italic;
	font-weight: bold;
	text-transform: uppercase;
}

div.error p {
	font-size: 200%;
	font-weight: bold;
}

div.footer address {
	font-size: 13px;
	font-style: italic;
	height: 10px;
}

div.footer address, div.footer div.buttons {
	margin-left: 5%;
}

div.langchooser {
	font-weight: bold;
	margin-bottom: 1em;
	padding-bottom: 0.5em;
	border-bottom: thin silver solid;
}

div.langchooser ul {
	list-style-type: none;
}

div.langchooser li#current {
	font-style: italic;
}

ul.simple {
	list-style-type: none;
}

img.button {
	border: 0;
}

table.googlesearch {
	font-size: small;
}