 
/* Add borders to edges of tabbed output */
#tabcontent {
  border-left: 1px solid #788; 
  border-right: 1px solid #788; 
  border-bottom: 1px solid #788; 
  padding: 10px 5px 6px 5px;
}

ul#tabnav {
  list-style-type: none;
  margin: 0;
  padding-left: 20px; 
  padding-bottom:24px;
  border-bottom: 1px solid #788; 
  font: bold 11px verdana;
}
ul#tabnav li {
  float: left;
  height: 21px;
  background-color: #dadada; 
  color: #ffffff;
  margin: 2px 2px 0 2px;
  border: 1px solid #788; 
  text-decoration: none;
  list-style: none;
}

ul#tabnav a:link, ul#tabnav a:visited {
  display: block;
  color: #448; /*#000000; */
  background-color: transparent;
  text-decoration: none;
  padding: 4px;
}
ul#tabnav a:hover {
  background-color: #AAE; 
  color: #000; 
}
body#overview li.overview, 
body#software li.software,
body#hardware li.hardware,
body#freqResp li.freqResp,
body#feedbackLoop li.feedbackLoop,
body#feedbackMeas li.feedbackMeas,
body#impedance li.impedance,
body#harmonics li.harmonics,
body#downloadCurrent li.downloadCurrent,
body#downloadLegacy  li.downloadLegacy
{
   border-bottom: 1px solid #fff;
   color: #000;
   background-color: #fff;
}
body#overview li.overview a:link, body#overview li.overview a:visited,
body#software li.software a:link, body#software li.software a:visited,
body#hardware li.hardware a:link, body#hardware li.hardware a:visited,
body#freqResp li.freqResp a:link, body#freqResp li.freqResp a:visited,
body#feedbackLoop li.feedbackLoop a:link, body#feedbackLoop li.feedbackLoop a:visited,
body#feedbackMeas li.feedbackMeas a:link, body#feedbackMeas li.feedbackMeas a:visited,
body#impedance li.impedance a:link, body#impedance li.impedance a:visited,
body#harmonics li.harmonics a:link, body#harmonics li.harmonics a:visited,
body#downloadCurrent li.downloadCurrent a:link, body#downloadCurrent li.downloadCurrent a:visited,
body#downloadLegacy  li.downloadLegacy a:link, body#downloadLegacy li.downloadLegacy a:visited
{
  color: *#448;
  background-color: #ffffff;
}

