body {
	color: black;
	background-color: white;
	font-size: 100.0%;
	font-family: Helvetica,Arial,sans-serif;
	margin: 0; padding: 1em;
}


div#Navigation
{
/*	background-image:url("kopfzeile.jpg"); */
	background-color:white;
	background-repeat: no-repeat;
	padding: 0;
	width: 800px;
/*	height: 64px;*/
	margin: 0 auto 20pt auto;
	border-bottom: 2px solid #006518;
}

div#Navigation h1 {
	color:#006518;
	text-align:center;
	padding:0;
	margin:0;
	background-color:white;
	vertical-align: bottom; 
}


div#Navigation ul {
	text-align: right;
	font-size: 10pt;
	margin: 0 0px;
	padding:0 2px;
	vertical-align: top; 
}

div#Navigation  ul li {
	list-style: none;
	display: inline;
}

div#Navigation  ul a {
	padding:2px;
	border:0px;
	text-decoration: none; font-weight: bold;
	color: white; background-color:  #006518;
}
 
div#Navigation  ul a:hover {
	color: black; background-color:  #006518;
}

div#Navigation ul span {
	text-decoration: none; font-weight: bold;
	color: lime; background-color:#009031;
	border-top: 1px solid black;
	border-left: 1px solid black;
	border-right:1px solid #00A121;
}


div#License {
	padding: 0 0;
	border: none;
	min-width: 16em; /* Mindestbreite (der Ueberschrift) verhindert Anzeigefehler in modernen Browsern */
	width: 720px;
	margin: 0 auto;
}

div#License p {
	font-size:1em;
	margin: 1em 0;
	text-align: justify;
}
div#License h2,h3 {
	background-color: #337319;
	color:white;
	padding: 0 1em
}

div#License a {
	color:#337325;
	text-decoration: none;
}

div#License a {
	color:#337325;
	text-decoration: underline;
}
div#License a:hover {
	text-decoration: underline;
}

div#License form {
	border: 1px dashed silver;
	background-color: #e8b9b6;
	margin: 1em;
	padding: 1em;
}

div#License table {
	border: 1px solid #337319;
	margin: 1px;
	padding: 0px;
	text-align: center;
}
div#License table td{
	border: 1px solid #337319;
	margin: 1em;
	padding: 1em;
	text-align: right;
}





.email {
	font-family: Courier,cursive;
}

.descr {
	font-family: Times, serif;
	font-size: 100%;
}
.code {
	font-family: Courier, cursive;
	font-size: 100%;
	padding: 0.3em;
	text-align: center;
	margin: 0 1em;
	border: 1pt dashed silver;
}

.befehl {
	font-family: Courier, cursive;
	font-size: 100%;
}

.Taste {
	font-family: Courier, cursive;
	font-size: 100%;
	border:outset;
}

.beispiel {
	font-size: 90%;
	font-style:italic;
}