div.tabArea {
  font-size: 80%;
  font-weight: bold;
  border-bottom: 1px solid black;
  margin-top: 5px;
}

a.tab {
  background-color: #f0f0f0;
  border: 1px solid #000000;
  padding: 2px 1em 2px 1em;
  text-decoration: none;
}

a.tab, a.tab:visited {
  color: #808080;
}

a.tab:hover {
  background-color: #d0d0d0;
  color: #606060;
}

a.tab.activeTab, a.tab.activeTab:hover, a.tab.activeTab:visited {
  background-color: #c0c0c0;
  color: #000000;
  border-bottom: none;
}

.mainbody {
  margin: 20px 40px 0px 40px;
}