html {
  margin: 0;
  padding: 0;
}

body {
  margin: 0;
  padding: 0;
  background: rgb(157, 154, 149);
  color: black;
  font: 1em/1.7em arial, sans-serif;
}

pre {
  font: 1.1em/1.7em "bitstream vera sans mono", "andale mono", monospace;
}

#banner {
  position: absolute;
  top: 0;
  left: 0;
  height:60px;
  width: 100%;
  padding: 0;
  margin: 0;
  border-bottom: 1px solid rgb(0, 0, 0);
  color: rgb(242, 242, 238);
  background: rgb(0, 89, 130);
  z-index: 5;
  font-family: arial, sans-serif;
}
/*body>#banner {
  position: fixed;
}*/

#banner h1 {
  margin: 0;
  padding: 10px 5px 5px 10px;
}

#tabmenu {
  color: #000;
  position: absolute;
  bottom: -4px;
  padding: 0;
  margin: 0;
  z-index: 10;
  right: 15px;
}
/*body>#tabmenu {
  position: fixed;
} /*Opera and Mozilla*/

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

#tabmenu a, a.active {
  color: #DEDECF;
  background: rgb(0, 89, 130);
  font-size: 12px;
  font-weight: bold;
  border: 1px solid rgb(0, 0, 0);
  padding: 2px;
  margin: 0 2px;
  text-decoration: none;
}

#tabmenu a.active,
#tabmenu a:hover {
  background: rgb(157, 154, 149);
  border-bottom: 1px solid rgb(157, 154, 149);
  color: white;
}

#tabmenu a.active {
  z-index: 30;
}

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

#tabmenu a.active:visited {
  color: #DEDECF;
}

#tabmenu a.active:hover {
}

#content,
#footer {
  background: rgb(255, 255, 255);
  font: 1.0em "bitstream vera serif", verdana, arial, sans-serif;
  height: auto;
  text-align: justify;
  margin: 80px 20px 20px 20px;
  z-index: 0;
  padding: 4px 8px 4px 8px;
  border-bottom: 1px solid rgb(140, 140, 140);
}

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

#footer {
  margin: 20px 20px 20px 20px;
}

img {
  border-width: 0;
}

ul.num {
  list-style-type: decimal;
}

table.border,
th.border,
td.border {
  font-size: 0.9em;
  border: 1px solid #005982;
}

tr.full,
td.full {
  font-size: 0.9em;
  background-color: rgb(227, 224, 219);
}

td.full {
  border: 1px solid #005982;
}

tr.patch,
td.patch {
  font-size: 0.9em;
}

td.patch {
  border: 1px solid #005982;
}

td.border_nobg {
  font-size: 0.9em;
  border: 1px solid #005982;
  background-color: #003952;
}