body {
	margin: 0;
	padding: 0;
	background-color: #ffffff;
}
div.title {
	float: left;
	font-size: 2em;
}
div.header {
	float: left;
	margin-left: 20px;
}
ul.path {
	float: left;
	margin: 48px 0 0 7px;
	padding: 0;
}
ul.path li {
	display: inline;
	padding-right: 0.25em;
}
ul.path li span.current {
	font-weight: bold;
}
ul.lang {
	float: right;
	margin: 50px 0 0 0;
	padding: 0;
}
ul.lang li {
	display: inline;
	padding-left: 0.25em;
}
ul.lang li a img {
	display: none;
}
div.menu {
	display: none;
}
div.clear {
	clear: both;
}
div.content {
	margin-top: 10px;
	page-break-before: avoid;
	page-break-after: avoid;
}
div.debug {
	display: none;
}
div.copyright {
	display: none;
}