body {
    background:url(/images/blueframe_kante_rechts.jpg) repeat-y fixed;
    background-position:right;
    background-color:white;
    margin:0;
  }


table {
    border-style:solid;
    border-color:black;
    border-width:1px;
    border-spacing:1em;
  }


#header_container {
    background:url(/images/blueframe_image.jpg) repeat-x fixed;
    float:left;
    width:100%;
    height:100px;
    z-index:2;
  }


#banner {
    float:left;
    font-family:Courier;
    /* font-style:italic;
    */ font-size:200%;
    margin-top:0.5em;
    margin-left:0.5em;
    z-index:3;
  }


#banner a {
    text-decoration:none;
    color:black;
  }


#edge {
    background:url(/images/blueframe_ecke_rechts_oben.jpg) fixed;
    background-position:right top;
    width:100px;
    height:100px;
    float:right;
    z-index:3;
  }


#menu_container {
    float:right;
    min-height:;
  }


#menu {
    list-style-type:none;
    font-family:Courier;
    font-size:110%;
    letter-spacing:0.2em;
    padding-left:0;
    margin:0.5em;
  }


#menu li {
    margin-top:1em;
  }


a {
    text-decoration:none;
    color:black;
  }


#menu li:hover {
    // #6495ED : ;
    //background-color : lightblue;
    outline-style : dotted;
    outline-width : 1px;
  }


#workbench {
    margin-right:11em;
    margin-left:1em;
    padding-top:9em;
    font-family:Arial;
    font-size:100%;
  }


#workbench>b {
    font-size:x-large;
  }


#slogan {
    float:left;
    margin-top:5em;
    margin-left:2em;
    font-size:150%;
  }