body {
  margin: 20px;
  padding: 0px;
  background: #FFF;
  font: 16px arial, sans-serif; 
}

pre {
  text-indent: 30px
}

.floatimgleft {
  float: left;
  margin-top: 10px;
  margin-right: 10px;
  margin-bottom: 10px;
}

.floatimgright {
  float: right;
  margin-top: 10px;
  margin-left: 10px;
  margin-bottom: 10px;
}

#tabmenu {
  color: #000;
  border-bottom: 2px solid black;
  margin: 12px 0px 0px 0px;
  padding: 0px;
  z-index: 1;
  padding-left: 10px 
}

#tabmenu li {
  display: inline;
  overflow: hidden;
  list-style-type: none; 
}

#tabmenu a, a.active {
  color: #EED;
  background: #66E;
  font: bold 1em "Trebuchet MS", Arial, sans-serif;
  border: 2px solid black;
  padding: 2px 5px 0px 5px;
  margin: 0;
  text-decoration: none; 
}

#tabmenu a.active {
  background: #CCF;
  color: #003;
  border-bottom: 3px solid #CCF; 
}

#tabmenu a:hover {
  color: #003;
  background: #CCF; 
}

#tabmenu a:visited {
  color: #003; 
}

#tabmenu a.active:hover {
  background: #CCF;
  color: #003; 
}

#content {font: 0.9em/1.3em "bitstream vera sans", verdana, sans-serif;
  text-align: justify;
  background: #CCF;
  padding: 20px;
  border: 2px solid black;
  border-top: none;
  z-index: 2;   
}

#content a {
  text-decoration: none;
  color: #339; 
}

#content a:hover { 
  background: #99C; 
}