h1 {
	text-align: center;
}

h2 {
	padding-top: 23px;
}

h3 {
	margin-top: 42px;
	margin-left: 3%;
	margin-right: 3%;
	color: #000080;
}

h4 {
	margin-left: 4%;
	margin-right: 4%;
	color: #000080;
}

/*
p {
	margin-left: 5%;
	margin-right: 5%;
}
*/
.fullwidth {
	margin-left: 0%;
	margin-right: 0%;
}

.m3 {
	margin-left: 3%;
	margin-right: 3%;
}

.m4 {
	margin-left: 4%;
	margin-right: 4%;
}

.m5 {
	margin-left: 5%;
	margin-right: 5%;
}

.left { text-align: left; }
.center { text-align: center; }
.right { text-align: right; }

.cmd { font-family: courier; font-weight: bold; background: #cccccc; }
.bsp { font-family: courier; font-weight: bold; background: #eeeeee; }
/* Links */
a { text-decoration: none; color:#0000FF; }
a:link { text-decoration: none; color:#0000FF;  }
a:active { text-decoration: underline; color:#0000FF; background: #cccccc; }
a:visited { text-decoration: none; color:#0000FF }
a:hover { text-decoration: underline; color:#0000FF; background: #cccccc; }

img{ border: 0; }
.valid { width:88px; height:31px; }

.pingu{ position:absolute; left: 0px; width: 85px; }
.footer-r { position: relative;  left: 100px; }

.kopf { text-align: center; color: #000080; height: 75px;}

.menu{
	position: fixed;
	top: 125px;
	left: 0px;
	width: 210px;
	margin-top:10px;
	border-right:2px solid #800080;
}

.content { 
	position: relative;
	top:50px;
	left: 223px;
	width:675px;
/*	padding-bottom: 242px; */
	margin-bottom: 42px;
}

.apt { 
	border: 2px dashed #000080;
	padding: 10px;
	font-family: monospace; 
	font-size: 125%;
}

div.code, pre.code {
	border: 2px dashed #000080;
	background-color: #efefef;
	color: #000000;
	padding: 10px;
	font-family: monospace;
	font-size: 100%;
}

span.code {
	font-family: monospace;
}

.menu2 { 
	position: relative;
	left: -20px;
}

.menu3 {
	position: relative;
	left: -40px;
}

/*
h4#files {
	color: #000080;
} */

span.file {
	font-style: italic;
}

.files {
	float: left;
	margin-top: 42px;
	padding-left: 10px;
	border-left: 2px dashed #000080;
	border-top: 2px dashed #000080;
}