body	{
	background: none;
	font: 14px/1.25 Verdana, Lucida, Helvetica, sans-serif;
	color: #000;
	margin: 0;
	padding: 0;
	border: 0;
	}

img	{
	display: block;
	border: 0;
	}

#venngif {
	display: inline;
	position: absolute;
	top: 0;
	left: 0;
        }

#beweisgif {
	display: inline;
	position: absolute;
	top: 0;
	left: 200px;
        }

#regelgif {
	display: inline;
	position: absolute;
	top: 100px;
	left: 200px;
        }

.inline	{
	display: inline;
	}

.hide	{
	display: none;
	}

.alt	{
	display: none;
	}

#content	{
	border: 0;
	padding: 0;
	margin: 0;
	margin-left: 30px; 
	width: auto;
	background-image: none;
	background-color: transparent;
	}

#innercontent       {
        margin: 0;
        border: 0;
        width: 600px; /* False value for IE4-5.x/Win */
        voice-family: "\"}\"";
        voice-family:inherit;
        width: 600px; /* Actual value for conformant browsers */
        }

html>#innercontent {
        width: 600px; /* Be nice to Opera */
        }

#footer	{
	text-align: center;
	border: 0;
	padding: 0;
	margin: 0;
	margin-top: 20px;
	margin-bottom: 20px;
	margin-left: 30px;
	width: auto;
	background-image: url(../resourcen/bar.gif);
	background-position: top center;
	background-color: transparent;
	background-repeat: no-repeat;
	padding-top: 20px;
        width: 600px; /* False value for IE4-5.x/Win */
        voice-family: "\"}\"";
        voice-family:inherit;
        width: 600px; /* Actual value for conformant browsers */
        }

html>#footer {
        width: 600px; /* Be nice to Opera */
        }

#impressum	{
	text-align: center;
	border: 0;
	padding: 0;
	margin: 0;
	margin-top: 20px;
	margin-left: 30px;
	width: auto;
	background-image: none;
	background-color: transparent;
        width: 600px; /* False value for IE4-5.x/Win */
        voice-family: "\"}\"";
        voice-family:inherit;
        width: 600px; /* Actual value for conformant browsers */
        }

html>#impressum {
        width: 600px; /* Be nice to Opera */
        }

#titel	{
	text-align: center;
	margin-top: 30px;
	margin-bottom: 1em;
	}

#pics	{
	height: 206px;
	width: 350px;
	position: relative;
	margin-left: 100px;
	margin-top: 20px;
	margin-bottom: 10px;
	}

p	{
	margin-top: 0;
	margin-bottom: 1em;
	}

a:link, a:visited {
	font-weight : bold; 
	text-decoration : none;
	color: #000;
	background: transparent; 
	}

a:hover {
	font-weight : bold; 
	text-decoration : underline;
	color: #e0861e;
	background: transparent; 
	}

a:active {
	font-weight : bold; 
	text-decoration : none;
	color: #f5d7b4;
	background: transparent;  
	}

#valid	{
	display: none;
	/* float: right; */
	position: absolute;
	right: 0;
	top: 0;
	}

#navigation	{
	display: none;
	/* float: left; */
	position: absolute;
	left: 0;
	top: 0;
	margin: 0;
	padding: 30px 40px 25px 20px;
	border: 0;
	width: 160px;  /* False value for IE4-5.x/Win */	
	voice-family: "\"}\""; 
	voice-family:inherit;
	width: 100px;	 /* Actual value for conformant browsers */	
	}

html>#navigation {
	width: 100px; /* Be nice to Opera */
	}

#navigation ul {
	list-style: none;
	padding: 0;
	margin: 8px 0;
	border: 0;
	}

#navigation li	{
	text-align: center;
	width: 100px;
	margin: 0 0 20px 0;
	padding: 0;
	border-style: outset;
	font-weight: bold;
	font: 10px/25px Verdana, Lucida, Helvetica, sans-serif;
	color: #000;
	background: #ff3;
	}

#navigation li a {
	display: block;
	padding: 0;
	background: #ff3;
	color: #000;
	text-decoration: none;
	width: 100px; 	/* False value for IE4-5.x/Win. */
 	voice-family: "\"}\""; 
  	voice-family:inherit;
	width: 100px;	/* You get it. Good value for compliant browers. */
	}
	
html>#navigation li a {
	width: 100px;	 /* Be nice to Opera */
	}
	
#navigation li a:hover {
	font-weight: bold;
	background: #2d4293;
	color: #ff3;
	text-decoration: none;
	}

#changes {
	margin: 0 0 0 -15px;
	border: 0;
	font-weight: normal;
	font: 8px/1.25 Verdana, Lucida, Helvetica, sans-serif;
	width: 130px;  /* False value for IE4-5.x/Win */	
	voice-family: "\"}\""; 
	voice-family:inherit;
	width: 130px;	 /* Actual value for conformant browsers */	
	}

html>#changes {
	width: 130px; /* Be nice to Opera */
	}

#changes ul {
	list-style: none;
	padding: 0;
	margin: 0;
	margin-top: 15px;
	margin-bottom: 20px;
	border: 0;
	}

#changes li	{
	text-align: left;
	display: block;
	width: 130px;
	margin: 0;
	margin-top: 7px;
	padding: 0;
	color: #ff3;
	background: none;
	border: 0;
	border-style: none;
	font: 8px/1.25 Verdana, Lucida, Helvetica, sans-serif;
	font-weight: normal;
	}

#changes li a {
	padding: 0;
	font-weight : bold; 
	text-decoration : none;
	color: #fff;
	background: none; 
	width: 130px; 	/* False value for IE4-5.x/Win. */
 	voice-family: "\"}\""; 
  	voice-family:inherit;
	width: 130px;	/* You get it. Good value for compliant browers. */
	}
	
html>#changes li a {
	width: 130px;	 /* Be nice to Opera */
	}
	
#changes li a:hover {
	font-weight: bold;
	text-decoration : underline;
	color: #e0861e;;
	background: none; 
	}

#changes p {
	margin: 0;
	padding: 0;
	}

h1, h2, h3, h4, h5, h6  {
        font-weight: bold;
        }

h1      {
	text-align: center;
        margin-top: 30px;
        margin-bottom: 20px;
        font-size: 32px;
        }

h2      {
	text-align: center;
        font-size: 24px;
        margin-top: 25px;
        margin-bottom: 15px;
        }

h3      {
	text-align: center;
        font-size: 16px;
        margin-top: 5px;
        margin-bottom: 0;
	}

h4      {
	text-align: center;
        font-size: 13px;
        margin-top: 5px;
        margin-bottom: 0;
        }

p+p	{
	text-indent: 2em;
	margin-top: -1em;
	}

h2+p    {
        margin-top: 20px;
        }

table   {
        margin-top: 10px;
        margin-bottom: 10px;
	}

p+table	{
	margin-top: -1em;
	}

.formula {
        margin-top: 10px;
        margin-bottom: 10px;
	}

#persdata {
	float: left;
	padding: 10px;
	}

#andreas {
	}

.search {
	text-align: center;
	}

.search td {
	text-align: left;
	}

ul.bulletlist {
	list-style: disc;
	}

#logik1gif {
	display: none;
        }

#logik2gif {
	display: none;
        }

#abrissgif {
	display: none;
        }

#verhaeltgif {
	display: none;
        }

#nsdlgif {
	display: none;
        }

p+em	{
	display: block;
        margin-left: 10px;
        margin-bottom: 10px;
	}

.bild	{
	text-align: center;
        margin-bottom: 10px;
	}

.ltk	{
	background-color: #f3f;
	text-align: center;
	padding: 3px;
	}

.ltc	{
	text-align: center;
	}

.literatur li {
	margin-top: 5px;
	}