body {
  margin: 30px;
  background: url("../pictures/circuit.jpg");
}

.banner, .main, .menu {
  background: #fff
}

.banner {
  border: solid #00A;
  border-width: 1px 1px 1px 10px;
  font: bolder 32px Verdana, Arial, Tahoma, Helvetica, sans-serif;
  color: #000;
  margin-bottom: 30px;
  padding: 10px 10px 10px 30px;
}

.main {
  border: solid #33E;
  border-width: 1px 1px 1px 10px;
  padding: 0px 30px 30px 30px;
  margin: 0px;
  font: 1em Verdana, Arial, Tahoma, Helvetica, sans-serif;
}

.menu {
  background-color: #E7EFFF; 
  float: right; 
  width: 230px;
  border: 1px solid #889;
  border-width: 2px 10px 2px 2px;
  margin: 30px 0px 0px 30px;
  padding: 5px 0;
  font-size: .75em;
}

.floatright {
  float: right;
  border: 1px solid #889;
  border-width: 2px 2px 2px 2px;
  margin: 30px 0px 30px 30px;
  padding: 0;
}
 
.floatright img {  
  /* remove the (not so) mysterious gap */
  display: block;
}

p {
  line-height: 1.25;
  color: #000000;
  margin: 10px 10px 10px 10px;
  padding: 0;
}

.right {
  clear: both;
  text-align: right
}

.fineprint {
  text-align: justify;
  font-size: 50%;
  margin-top: 0;
  margin-bottom: 0
}

.address {
  font-family: courier;
  padding-left: 30px;
}

h1, h2, h3 {
  font-weight: 800;
  font-family: Verdana, Arial, Tahoma, Helvetica, sans-serif;
  color: #000000;
  padding: 5px 0px;
}

h1 {font-size: 150%;}
h2 {font-size: 130%;}
h3 {font-size: 110%;}

a {font-weight: 800; }
a:link {color: #339; background-color: transparent;}
a:visited {color: #339; background-color: transparent;}
a:link:hover {color: white; background: #339; text-decoration: none;}
a:visited:hover {color: white; background: #339; text-decoration: none;}

.menu a {
  display: block;
  text-indent: -1.33em;
  margin: 0 1em;
  padding: 0.5em 1em 0.5em 1.5em;
}