body{
     margin:0px 9px 0px 9px;
     /*padding:0;*/
}

hr{
	color: #FF8040;
	background: #FF8040;
}

div.container {
   max-width: 70em;
   margin: auto;
}

/***************** Style-Definitionen für Navigation links: ******************/
div.leftbar{
   float: left;
   margin: 0;
   padding: 0;
   height: 100%;
}

div.logo {
   padding: 0;
   margin: 0;
   text-align: center;
   height: 100px;
   width: 100px;
}

div.logo img{
   border: 0;
}

a.logo {
   border: 0;
}

div.navigation {
   margin: 0;
   padding: 0;
   padding-top: 10px;
   border: 3px double #CFCFCF;
   -moz-border-radius: 0.8em;
   width: 9em;
   background: #F5F5F5;
}

div.navigation h3 { /* Headers for sections */
    margin: 0px 3px 2px 3px;
    padding: 3px;
    background: #EFEFEF;
    font-weight: bold;
    font-size: 1.1em;
    text-align: center;
    border: 1px solid #1212AF;
    border-left: 2px solid #1212AF;
    border-bottom: 2px solid #1212AF;
    color: #FF8040;
    font-family: Verdana, sans-serif;
}

div.navigation a { /* SubLinks */
    padding: 0;
    margin: 0;
    font-family: Arial, sans-serif;
    color: #1212AF;
    text-decoration: none;
    font-weight: bold;
    font-size: 0.7em;
    /*overflow: visible;*/
}

div.navigation a:hover{
    color: #FF8040;
}

div.navigation ul, li{
      padding: 0px;
      padding-left: 10px;
      margin: 0px;
      margin-left: 7px;
      color: #1212AF;
      list-style-type: circle;
      /*list-style-position: outside;*/
}

div.navigation li{
      padding: 0;
}

div.nav_bottom{
    border-top: 3px double #CFCFCF;
    height: 50px;
    width: 100%;
    margin: 0;
    margin-top: 10px;
    padding: 30px 0 30px 0;
    font-size: 0.8em;
    text-align: center;
}

div.nav_bottom a{
    font-weight: normal;
    font-size: 0.8em;
    border: 0;
    padding: 4px;
    margin: 4px;
}

/***************** Styles für Inhalt: ******************/
div.rightbar{
   padding: 0;
   margin: 0;
   margin-left: 9.7em;
}

div.banner{
   margin: 0;
   padding: 0;
   height: 100px;
}

div.banner img{
   border: 0;
}

div.container2{
    padding: 0;
    margin: 0;
    border-top: 3px double #CFCFCF;
    background:#FAFAFA;
}

div.content {
    padding: 10px 20px 20px 20px;
    color: #00007F;
    font-family: Helvetica, sans-serif;
}

div.content h1{
     font-family: Verdana, sans-serif;
     font-weight: bold;
     color: #FF8040;
     font-style: italic;
     text-align: center;
     padding: 5px;
     background:#EFEFEF;
     border: 1px solid #CFCFCF;
     border-left: 2px solid #CFCFCF;
     border-bottom: 2px solid #CFCFCF;
     margin-top: 0.5em;
     /* Mozilla-Extension: */
     -moz-border-radius: 1em;
}

div.content h4{
   color: #FF8040;
   padding-left: 1.1em;
   padding-bottom: 0;
   margin-bottom: 0;
   border-bottom: 0;
}

div.content p{
   margin-top: 0.1em;
   padding-top: 0.1em;
   padding-left: 1.1em;
}

div.content a {
     color: #1212AF;
}

div.content a:hover {
     color: #FF8040;
}

div.content ul, li, td{
     color: #00007F;
}

div.content th{
     color: #FF8040;
}

div.content .left{
	float:left;
	margin-left: 1.1em;
	margin-right: 20px;
	margin-bottom: 10px;
}

div.content .right{
	float:right;
	margin-left:20px;
	margin-bottom:10px;
}

div.content p.centered{
   text-align: center;
}

div.content div.warning{
	border: 1px solid #FF0000;
	padding: 1em;
	margin-left: 1.1em;
	margin-bottom: 0.5em;
   font-weight: bold;
   font-style: italic;
   text-align: center; 
   color: #FF0000;
   background:#EFEFEF;
}


div.content a.image{
	border: 0px solid #FF8040;
}

div.content ol li{
   list-style-type: decimal;
}


/******************** Navigation: **************************/

div.content_nav{
    height: 1.4em;
    margin: 0;
    font-family: Verdana, sans-serif;
    background:#EFEFEF;
    padding: 0.2em;
    font-weight: bold;
}

div.content_nav2{
    margin: 0;
    padding: 0;
    font-size: 0.7em;
    font-style: italic;
    text-align: center;
    font-weight: bold;
    background:#EFEFEF;
    color: #FF8040;
}

div.content_nav a{
    color: #1212AF;
    text-decoration: none;
}

div.content_nav a:hover{
    color: #FF8040;
}

div.weiter{
    float: right;
}

div.zurueck{
    float: left;
}


/********************* Styles for Syntax-Highlighting in Code-Examples ********/
div.code{
	border: 1px solid #FF8040;
   -moz-border-radius: 0.8em;
	border-left: 2px solid #FF8040;
	border-bottom: 2px solid #FF8040;
	padding: 0;
	margin: 0 0 0.5em 1.1em;
	font-family: Courier, monospaced;
   background:#EFEFEF;
   color: black;
}


code {
   padding: 0;
   margin: 0;
}

code.bash{
  color: #000000;
  font-weight: bold;
}

code.html{
  color: #0000FF;
  font-weight: bold;
}

code.php{ /* for variables */
  color: #FF0000;
  font-weight: bold;
}

code.phpkey{ /* for keywords */
  color: #008000;
  font-weight: bold;
}

code.phpfunc{ /* for functions */
  color: #0000FF;
}

code.phpstring{ /* for strings inside quotes */
  color: #EE00EE;
}
code.phpcomment{ /* for comments */
  color: #111111;
  font-style: italic;
}

code.htmlcomment{
  color: #555555;
  font-style: italic;
}
code.htmlstring{ /* for strings inside tags */
  color: #EE00EE;
}

code.comment{
  font-style: italic;
}

/************* Styles for guestbookspam *********/
div.gbspam{
   border: 1px solid #FF8040;
   -moz-border-radius: 0.8em;
	border-left: 2px solid #FF8040;
	border-bottom: 2px solid #FF8040;
	padding: 0.5em 0.1em 0.5em 0.1em;
	margin: 0 0 0.7em 1.1em;
	/*font-family: Courier, monospaced;*/
   background:#EFEFEF;
   color: #FF8040;
   font-style: italic;
   font-size: 0.8em;
}

div.gbspamcontent{
   background:#FAFAFA;
   font-style: normal;
   margin: 0 0 .5em 0;
   color: #00007F;
   padding: 0.4em;
   font-size: 1.25em;
}

/************* Styles for nat-tutorial **********/
table.explanation{
      padding-left: 1.1em;

}

/************* Styles for comments **********/
#linkhinweis{
	font-style: italic;
	font-size: 0.7em;
	margin-top: 30px;
}

ul .linklist{
	color: #FF8040;
	font-style: italic;
	margin-top: 10px;
}

#commentmain{
	position: relative;
	background: #EFEFEF;
	/*border: 1px solid #0000FF;*/
	width: 650px;
	padding-top: 10px;
	padding-bottom: 10px;
	/*height: 170px;*/
	text-align: center;
}

#commentleft{
	position: absolute;
	top: 10px;
	left: 10px;
	width: 200px; 
	/*border: 1px solid #00FF00;*/
	height: 170px;
}

#commentright{
	/*position: relative;*/
	background: #EFEFEF;
/*	width: 400px;*/
	/*border: 1px solid #FF8040;*/
	padding-left: 250px;
	/*margin-left: 250 px;*/
	/*top: 0px;*/
	/*right: 0px;*/
}

div .commentHead{

	padding: 5px 5px 5px 10px;
	background: #F5F5F5;
	width: 95%;
	/*border: 1px solid #FF8040;*/
	color: #FF8040;
	font-size: 0.8em;
}

div .commentbody{

	padding:10px 20px 10px 20px;
	margin-left: 20px;
}

#container-centered{
	width: 800px;
	text-align: left;
	margin: 0 auto;
   background:#FAFAFA;
   padding: 20px;
}