/*-----------------------------------------------------------------------------
  Note: The border-radius property is a proposed feature for CSS3 which creates
        rounded corners. Mozilla/Netscape browsers currently support this
        feature via the proprietary -moz-border-radius property. Both are
        defined here. Browsers that support neither should simply ignore them.
-----------------------------------------------------------------------------*/
div.tabArea {
  font-size: 85%;
  padding: 0px 0px 3px 0px;
  position: relative;
  z-index: 1;
}

a.tab {
  background-color: #c4c4c4;
  border: 1px solid;
  border-bottom-width: 0px;
  border-color: #9A9A9A;
/*  -moz-border-radius: .75em .75em 0em 0em;*/
  border-radius:7px 7px 0 0;
  padding: 2px 1em 2px 1em;
  position: relative;
  text-decoration: none;
  white-space: nowrap;
  top: 2px;
}

a.tab, a.tab:visited {
  color: black;
}

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

a.tab.activeTab, a.tab.activeTab:hover, a.tab.activeTab:visited {
  background-color: #f8f8f8;
  border-color: #9A9A9A;
  color: black;
  font-size: 11pt;
}

a.tab.activeTab {
  padding-bottom: 3px;
  top: 2px;
}

div.tabMain {
  background-color: #f8f8f8;
  border: 1px solid;
  border-color: #9A9A9A;
/*  -moz-border-radius: 0em .5em .5em 0em;*/
  border-radius: 0 10px 10px 0;
  padding: .5em;
}