/* classes for tabbing */
td.selectedtabitem {
width:90px;
color:#ffffff;
background-color:#d2d2d2;
text-align:center;
font-size:80%;
font-weight:400;
cursor:pointer,hand;
}

td.unselectedtabitem {
background-color:#efefef;
width:90px;
color:#800000;
text-align:center;
font-size:80%;
font-weight:400;
cursor:pointer;
cursor:hand;
}

td.graymenuitem {
color:#000000;
background-color:#d2d2d2;
width:90px;
text-align:center;
font-size:80%;
font-weight:400;
cursor:pointer;
cursor:hand;
}
 

td.fillermenuitem {
color:#000000;
background-color:#d2d2d2;
text-align:center;
} 
 
td.verticleline {
width:1px;
background-color:#a0a0a0;
color:#a1a1a1;
}


/* classes for navigation buttons and bars */
button.pushbutton {
cursor:pointer;
cursor:hand;
background-color:#000000;
border-color:#fafafa;
border-style: outset;
border-width:1px;
color:#fafafa;
font-weight:700;
font-size:.8em;
height:22px;
width:90px;
}
div.codetext {
font: 1em/1 monospace;
color:#cc66cc;
background-color: white;
} 
span.codetext {
font: 1em/1 monospace;
color:#cc66cc;
background-color: white;
}
pre.codetext {
font: 1em/1 monospace;
color:#cc66cc;
background-color: white;
}
td.exhibitbutton {
cursor:pointer;
cursor:hand;
background-color:#faf;
color: #000; 
border-style: outset;
text-align:center;
height:18px;
width:100px;
font-size:17px;

}

td.menubutton {

background-color:#b2b2b2;
color:#800000; 
text-align:center;
height:18px;
font-size:90%;
font-weight:700;
}


td.submenubutton {
cursor:pointer;
cursor:hand;
background-color:#d3d3d3;
color: #800000; 
text-align:center;
height:18px;
font-size:90%;
font-weight:500;
}

td.activemenu{
color: #800000; 
cursor:pointer;
cursor:hand;
background-color:#b2b2b2;
width:120px;
height:18px;
font-size:15px;
font-weight:900;
}

table.graybar {
background-color:#d2d2d2;
width:100%;
height:15px;
text-align:left;
color:#000000;
}