body {
	font-family: verdana,arial,helvetica,sans-serif;
	margin: 0px;
	background-color: #ddf;
}

#logo {
	position: absolute;
	top: 0px;
	left: 0px;
	width: 327px;
	height: 136px;
	margin-left: 8px;
}
#logo img {
	border: none;
}

#menu {
	position: absolute;
	top: 0px;
	left: 335px;
	right: 0px;
	height: 136px;
	padding: 0px;
	margin: 0px;
	font-weight: bold;
	text-align: right;
	line-height: 200%;
}
#menu a:hover, #menu a:active {
	font-weight: bolder;
}
#menu ul {
	list-style-type: none;
	padding: 0px;
	margin: 2em;
}
#menu li {
	display: inline;
	white-space: nowrap;
	padding: 0px;
	margin: 0.5em;
}

#langmenu {
	position: absolute;
	left: 0px;
	top: 136px;
	width: 155px;
	padding: 0.5em 0px;
	margin: 0px;
	background-color: #ccc;
	font-size: smaller;
}
#langmenu ul {
	list-style: none;
	padding: 0px;
	margin: 0px;
}
#langmenu li {
	display: inline;
	padding: 10px;
	margin: 0px;
}

#submenu {
	position: absolute;
	left: 0px;
	top: 136px;
	width: 155px;
	margin-top: 2em;
	padding: 0px;
	background-color: #eef;
	font-size: smaller;
}
#submenu ul {
	list-style-type: none;
	padding: 10px 0px;
	margin: 0px;
}
#submenu li {
	padding: 10px;
}

.selected a:link, .selected a:visited {
	text-decoration: none;
}

#content {
	margin-left: 155px;
	margin-top: 136px;
	right: 0px;
	padding: 10px 10%;
	background-color: #fff;
	font-size: smaller;
}

#footer {
	margin-left: 155px;
	height: 2em;
	background-color: #ddd;
	text-align: center;
}
#footer p {
	font-size: 0.5em;
	margin: 0px 10px;
	vertical-align: middle;
}
#footer img {
	border: none;
}

code {
	font-size: 120%;
	background-color: black;
	color: white;
}
pre.code {
	font-size: 120%;
	background-color: black;
	color: white;
	padding: 0.5em;
	overflow: auto;
}