body {
  margin: 0;
  padding: 0;
  font-family: helvetica;
}

a {
  text-decoration: none;
  color: #0094ca;
  font-weight: bold;
  border-bottom: 1px dotted #0094ca;
}

h2 {
  color: #0094ca;
  font-size: 140%;
}


h3 {
  font-size: 110%;
  color: #000000;
  padding-top: 15px;
  margin-bottom: 2px;
}

h4 {
  font-size: 110%;
  color: #000000;
  margin-top: 10px;
  margin-bottom: 2px;
}

table {
  width: 100%;
  border: 0;
  border-spacing: 0;
}

pre {
  width: 60em;
  max-width: 60em;
  font-family: courier;
  white-space: pre;
  background-color: #ededea;
  border: 1px dashed #888;
  padding: 4px 12px;
  overflow: auto;
  resize: both;
  overflow: hidden;
}

.header {
}

.header2 {
   color: #DDDDDD;
   background-color: #3c3c3c;
}

#titlebar {
  background: #9ac5de;
  height: 48px;
  width: 100%;
  border: 0;
  border-spacing: 0;
}

#menu {
  background: #ebebeb;
  color: black;
  border-style: solid;
  border-color: #d0d0d0;
  border-width: 0 1px 1px 0;
  padding: 10px;
  font-weight: bold;
  font-size: 13px;
  vertical-align: top;
  white-space: nowrap;
  top: 100px;
  left: 0px;
  height: 100%;
}

#main {
  padding: 10px;
  font-size: 13px;
}