body {
    background-color:ghostwhite;
    margin:0;
  }


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


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


#header_container {
    background-color:lightgrey;
    border-color:grey;
    border-bottom-style:groove;
    height:100px;
    width:100%;
    /* font-family:Helvetica;
    font-size:150%;
    */;
  }


#banner {
    float:right;
    font-family:Courier;
    font-size:200%;
    width:14em;
    /* padding-left:0.5em;
    padding-top:0.5em;
    */ margin-top:0.5em;
    margin-left:0.5em;
    padding-left:0.5em;
    padding-bottom:0.25em;
    border-color:ghostwhite;
    /* border-bottom-width:1px;
    */ border-bottom-style:groove;
    /* border-left-width:1px;
    *//* border-left-style:groove;
    *//* font-weight:500;
    */;
  }


#banner a {
    color:darkslategray;
  }


#edge {
  }


#menu_container {
    float:left;
    padding-top:1em;
    background-color:lightgrey;
    border-color:grey;
    border-right-style:solid;
    border-right-width:1px;
    border-bottom-style:solid;
    border-bottom-width:1px;
  }


#menu {
    padding-left:1em;
    padding-right:1em;
  }


#menu li {
    font-family:Helvetica;
    list-style-type:none;
    border-bottom-width:1px;
    border-bottom-style:solid;
    border-right-width:1px;
    border-right-style:solid;
    border-color:gray;
    margin-bottom:0.25em;
    padding-right:0.5em;
  }


#menu li:hover {
    background-color : darkgray;
    color : white;
    outline-style : outset;
    outline-width : 1px;
  }

/*#menu li a:hover {
  background-color:darkgray;
  color:white;
}*/








#workbench {
    margin-left:11em;
    padding-top:3em;
    color:black;
    // font-family:Arial;
  }


#workbench a {
    background-color : antiquewhite;
    color : lightslatesgray;
    outline-style : dotted;
    outline-width : 1px;
  }


#workbench>b {
  }


#workbench a:hover {
    font-style : italic;
  }


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