/* Originally by Eric S. Raymond <http://www.catb.org/~esr/sitestyle.css>, 
who himself stole from http://bluerobot.com/web/layouts/layout1.html */

body {
       margin:0 1em 0 1em;
       padding:0;
       font-family: Geneva, Verdana, Tahoma, Helvetica, Helv, Arial, sans-serif;
       background-color: #f8f8f8; 
       color:#000000;
	}
p {
	margin:0 0 0 0;
	}
#Content>p {text-indent:1em; margin:0;}
/*#Content>p+p {text-indent:1em; margin-top: 1ex;}*/
#Content>h+p {text-indent:0em; margin-top: 1ex;}

h1 {
     border-width: medium; 
     border-color: #999; 
     border-top-style: dotted; 
     border-bottom-style: dotted; 
     padding: 5px;
     font-size: x-large;
     margin-bottom: 0.25ex;
     text-align: center;
     background-color:#ddd;
     }
h2 {
     border-width: medium; 
     border-color: #999; 
     border-top-style: dotted; 
     border-bottom-style: dotted; 
     padding: 5px;
     font-size: large;
     margin-bottom: 1ex;
     text-align: center;
     background-color:#eee;
     }

h3 {
     border-width: medium; 
     border-color: #999; 
     border-top-style: dotted; 
     border-bottom-style: dotted; 
     padding: 5px;
     font-size: medium;
     margin-top: 3ex;
     margin-bottom: 2ex;
     text-align: center;
     background-color:#f4f4f4;
     }

a.extlink {
            color: rgb(0,102,204);
            text-decoration:none;
            text-align:right;
            padding-left:18px;
            background-image:url(pics/link_extern.png);
            background-repeat:no-repeat;
            
    }

a.extlink:hover {
                  background-color:#ccc;
                  text-decoration:none;
                  }


address { text-align:right;
          font-size:small; }

a {
  color: rgb(0,102,204);
  background-color: transparent;
  text-decoration: none;
}

a:hover {
  text-decoration: underline;
}

.codeblock { font-size:smaller;
            padding: 0;
            margin: 0; }


.navblock { font-size:smaller; 
            padding-left: 0;
            padding-bottom: 2ex; }

.codeblockvi { font-size:smaller; 
             padding: 2ex 0ex 2ex 0ex; }

#address { border-style:none; 
           border-width:thin; 
           font-size:smaller; 
           text-align:left; 
           vertical-align:top; 
           width:100px; 
           float:left;
           }

body>#Header {height:14px;}

#Content {
	/* Left margin is menu width + 3em
	 */
	margin:0 20px 50px 9em;
	padding:10px;
	}

#Menu {
	position:absolute;
	top:80px;
	left:20px;
	width:80px;
	padding:0.5em;
	background-color:#eee;
	border:1px dashed #999;
        font-size:small;
/* Again, the ugly brilliant hack. */
	voice-family: "\"}\"";
	voice-family:inherit;
	width:6em;
	}
/* Again, "be nice to Opera 5". */
body>#Menu {width:8em;}

.submenu a {  
	display:block;
	width:100%;
}

.submenu a:hover {
	background-color:#eeeeee;
	background-image:url(pics/menu_a_hover.jpg);
	background-repeat:repeat-y;
        text-decoration:none;
}

.sublink { padding:0 0 0 1em; 
           margin:0; }

.subsublink { padding:0 0 0 1.5em; 
              font-size:smaller;
              margin:0; }

.wrap { max-width: 850px;
        position: relative; 
        width: expression(document.body.clientWidth > 802 ? "800" : "auto"); 
}
      
.wissText { margin: 0 15em 0 0; }

.wissText>p { margin-top: 1ex; 
	max-width:550px; 
}

.marginalie { position: absolute;
            right: 0em;
            float: right; 
            width: 16em; 
            font-size:smaller;
            line-height:1.2em; }

.literatur { font-size:smaller; text-indent:-1em; margin-left:1em;}

.abstract { font-style:italic; padding-left:2em; padding-right:2em; }

.mainlink { font-weight:bold; text-align:right; 
            margin-top:.5ex; margin-bottom: 1ex; }

.quote { padding-left:2em; padding-top:1ex; padding-bottom:1ex; }

@media print {
	#Content {
		/* Left margin is menu width + 3em
		 */
		margin:0 50px 50px 0;
		padding:10px;
		}

	#Menu {
		  display: none;
		}

}