body {
		padding:20px 12px 20px 12px;
		background:#FFF;
		width:1024px;
		font-family:verdana, arial, sans-serif;
		color:#333;
		font-size:small;
		font-weight:normal;
		}
	
	.content{
		background:#FFF;
		padding-left:10px;
		width: 600px;
		float:right;
		}
		
	.inhalt{
		background:#FFF;
		padding-left:10px;
		width: 600px;
		float:left;
		}

	div.content table{
		border-collapse:collapse;
		margin-top:10px;
		}
	
	div.content th{
		border:2px solid #333;
		}
	
	div.content td{
		border:1px solid #333;
		padding:3px;
		}
	
	.nav {
		position:fixed;
		float:left;
		background:#FFFFF0;
		padding:10px;
		border:1px solid #333;
		width:350px;
		}
		
	.inhaltsverzeichnis{
		text-transform: uppercase;
		font-weight:bold;
		font-style:italic;
		margin:0px;
		}
	
	.kap1nav{
		padding:0px;
		font-weight:bold;
		margin:4px 2px 2px 10px;
		}	
		
	.kap2nav{
		padding:0px;
		margin:2px 2px 2px 20px;
		padding-left:30px;
		text-indent: -25px;
		}
	
	div.nav table{
		border:none;
		background:#FFFFF0;
		margin:0px 0px 15px 0px;
		padding-left:0px;
		float:none;
		}
		
	div.nav td{
		border:none;
		}
		
	.taste{
		font-size:small;
		}
	
	.GSearch{
	
		}
	
	
	a 			{ color: red; text-decoration: underline; line-height: 20px; }
	a:link		{ color: red; text-decoration: underline; line-height: 20px; }
	a:visited	{ color: red; text-decoration: underline; line-height: 20px; }
	a:active	{ color: #999999; line-height: 20px; }
	a:hover		{ color: #999999; line-height: 20px; }

	h1, h2 {
		margin: 0px;
		padding: 0px;
	}

	h3{
		margin-bottom:15px;
		text-decoration:underline;
		}
	
	pre, code{
		font-family:Courier New, Courier;
		font-size: small;
	}