body, html {
	color: black;
	background-color: white;
	font-size: 16px;
	font-family: Verdana, Arial, Sans-Serif;
	margin: 0px;
	padding:5px;
	box-sizing:border-box;
}

td {
	vertical-align: top;
}

a.info {
	position: relative;
	z-index: 24;
}
a.info:hover {
	z-index: 25;
	font-weight: normal;
}

a.info span {
	display: none
}

a.info:hover span {
	display: block;
	position: absolute;
	top: 1.5em;
	left: 1.5em;
	width: 20em;
	border: 1px dashed silver;
	color: #000;
	background-color: #ded;
	text-align: center;
	font-weight: normal;
	font-size: 80%;
	text-decoration: none;
}

p.small {
	font-size: 70%;
	color: #777;
}
p.w3 {
	vertical-align: middle;
	padding: 0px;
	margin: 2px;
}

div.header {
	margin: 0px;
	padding: 0px;
}

/* Für Mobile */
@media(max-width: 810px) {
	pre {
		white-space: pre-wrap;
	}
	
	div.headercont {
		background-color: #eee;
		border-bottom: 1px dashed #5F7;
		text-align: center;
		height: 70px;
		margin: 0px;
	}
	div.content {
		width: 100%;
		display: block;
	}
	h1,h2, h3 {
		font-size: 14px;
	}
	div.col1 {
		display: table-footer-group;
		width: 100%;
	}
	div.col2 {
		display: table-row-group;
		width: 100%;
	}
	div.navigation {
		background-color: #eee;
		margin: 0px;
		padding:0px;
		display: block;
	}
	h3.nav {
		font-size: 16px;
		border-bottom: 1px dashed #5F7;
		background: #888;
		color: #fff;
		padding: 4px;
		border-radius: 4px;
	}
	ul.lnk {
		font-size: 18px;
		list-style-type: none;
		padding:0px 5px 0px 3px;
		width: 100%;
		margin: 0px;
	}
	ul.lnk li ul {
		list-style-type: none;
		padding-left: 0px;
		width: 100%;
	}
	.info {
		background: #888;
		padding-left:5px;
		margin-right: 5px;
		border: groove #aaa 1px;
		display: block;
	}
	.info:hover {
		background: #aaa;
	}
	div.footer {
		font-size: 0.9em;
		margin: 0px;
		padding: 0.1em;
		text-align: center;
		border-top: 1px dashed #5F7;
	}
	div.lang a.info {
		display: inline;
	}
	div.lang {
		background: #888;
		color: #fff;
		padding: 4px;
		margin: 0px;
		border: groove #aaa 1px;
		display: block;
	}
	div.lang img {
		display: inline;
	}
	div.lang:lang(en)::before {
		content: "This page in english";
	}
	div.lang:lang(de)::before {
		content: "Diese Seite auf deutsch";
	}

} /* Ende Mobile */

/* Für desktop */
@media(min-width: 810px) {
	div.end {
		margin-left: 6px;
		margin-right: 6px;
		padding-bottom: 5px;
		background-color: white;
		height: 5px;
	}
	div.headercont {
		padding-left: 7px;
		padding-right: 7px;
		padding-top: 0px;
		padding-bottom: 7px;
		background-color: #eee;
		border-bottom: 1px dashed #5F7;
		text-align: center;
		
		height: 70px;
		margin: 0px;
	}
	
	div.headercont h1 {
		display: inline;
	}
	div.content {
		padding-left: 1em;
		padding-right: 1em;
		background-color: white;
		float: left;
		width: 90%;
	}
	div.nav {
		margin: 0px;
		padding: 0px;
	}
	div.navigation {
		background-color: #eee;
		margin-top: 0px;
		margin-left: 6px;
		margin-right: 6px;
		padding-left: 5px;
		padding-right: 5px;
		display: block;
	}
	div.footer {
		font-size: 0.9em;
		margin: 0px;
		padding: 0.1em;
		text-align: center;
		border-top: 1px dashed #5F7;
		clear: left;
	}
	
	div.lang {
		font-size: 120%;
		border-bottom: 1px dashed #5F7;
		padding-bottom: 5px;
		padding-left: 20px;
	}
	div.col1 {
		width: 170px;
		float: left;
	}
	div.col2 {
		margin-left: 170px;
		padding-top: 1em;
	}
	
	div.r1 {
		padding: 0px;
		margin: 0px 1px 0px 1px;
		background-color: #eee;
		height: 1px;
		overflow: hidden;
		display: block;
	}
	div.r2 {
		padding: 0px;
		margin: 0px 3px 0px 3px;
		background-color: #eee;
		height: 1px;
		overflow: hidden;
		display: block;
	}
	div.r3 {
		padding: 0px;
		margin: 0px 4px 0px 4px;
		background-color: #eee;
		height: 1px;
		overflow: hidden;
		display: block;
	}
	div.r4 {
		padding: 0px;
		margin: 0px 5px 0px 5px;
		background-color: #eee;
		height: 2px;
		overflow: hidden;
		display: block;
	}
	div.rh1 {
		margin: 0px 5px 0px 5px;
		height: 1px;
		background-color: #eee;
		overflow: hidden;
		display: block;
	}
	div.rh2 {
		margin: 0px 3px 0px 3px;
		height: 1px;
		background-color: #eee;
		overflow: hidden;
		display: block;
	}
	div.rh3 {
		margin: 0px 2px 0px 2px;
		height: 2px;
		background-color: #eee;
		overflow: hidden;
		display: block;
	}
	div.rh4 {
		margin: 0px 1px 0px 1px;
		height: 1px;
		background-color: #eee;
		overflow: hidden;
		display: block;
	}
	ul.lnk {
		font-size: 17px;
		left: 0px;
		margin-left: 15px;
		padding-left: 15px;
		list-style-image:url(/images/folder.gif);
		list-style-type: none;
		margin-bottom: 2px;
	}
	
	li.sub {
		list-style-image:url(/images/folderplus.png);
	}
	
	ul.lnk li ul {
		padding-left: 10px;
		margin-left: 10px;
		list-style-image:url(/images/folder.gif);
		list-style-type: none;
	}
	
} /* Ende für desktop */

a {
	text-decoration: none;
	font-family: sans-serif;
	font-weight: normal;
	color: #00c;
}
a:hover {
	color: #00e;
	text-decoration: underline;
	font-weight: normal;
}
a:visited {
	color: #004;
	text-decoration: none;
	font-weight: normal;
}

div.repository:before {
	content: url(/images/giticon.png) " Repository: ";
}
div.repository:after {
	content: " " url(/images/giticon.png);
}
div.repository {
	text-decoration: none;
	font-family: sans-serif;
	font-weight: normal;
	background-color: #ef7;
	text-align: center;
	font-weight: normal;
	font-size: 120%;
}

img.vdr {
	margin-right: 10px;
	margin-bottom: 10px;
	border: 0px;
	float: left;
}

img.left {
	margin-right: 10px;
	margin-bottom: 10px;
	border: 0px;
	float: left;
}

ul.vdr {
	clear: left;
}

h2, h3 {
	clear: left;
}

table.desc {
	margin-bottom: 10px;
	border: 0px;
	width: 100%
}

div.footer:lang(en)::before {
	content: "Last updated: ";
}
div.footer:lang(de)::before {
	content: "Letztes Update:";
}

pre {
	overflow: auto;
	background: #eee;
	border: groove #aaa 1px;
	padding: 5px;
	display: inline-block;
	width: 99%;
}