body {
font-family: verdana,helvetica,sans-serif;
background-color: #ffffff;
margin: 0px;
position: absolute;
width: 80%;
left: 10%;
}

h1 { color: #339999; text-decoration: none; }
h2 { color: #339999; border-top: 1px solid #339999; }
h3 { color: #000000; text-decoration: none;}

a:link { color: #339999; }
a:visited { color: #339999; }
a:active { color: #ffffff; background-color: #339999 }
a:hover { color: #ffffff; background-color: #339999 }

caption { font-weight: bold; border-bottom: 2px solid #339999 }

.logo {
background-image: url(logoleft.gif);
background-repeat: repeat-x;
text-align: right;
}

.menu {
border: 1px #000000 solid;
margin-top: 10px;
position: relative;
top: 0px;
width: 400px;
}

h2.menu {
background-color: #339999;
color: #ffffff;
margin: 0px;
padding: 0px;
border: none;
}

a.menu { border: none;}

.box { background-color: #eeeeee; border: 1px solid #cccccc; margin-left: 15px; padding: 5px; width: 80%; }
.box:first-line { font-weight: bold; border: none; }

.formel,pre,code {
background-color: #eeeeee;
border: 1px solid #cccccc;
margin-left: 15px; 
padding: 5px; 
width: 80%;
font-family: monospace;
}

.linux { list-style-image: url(linux.png); list-style-position: outside; }
.both { list-style-image: url(both.png); list-style-position: outside; }