html {
    font-family: Verdana, Arial, Helvetica, sans-serif;
}



body,table,td {
    font-family: Verdana, Arial, Helvetica, sans-serif;
}

.skiplink {
   display: none;
}   

.navbar {
    font-size: .84em;
    color: #FFFFFF;
    background-color: #000000;
}

.navbar a:link {
    text-decoration: none;
    color: #FFFFFF;
}
.navbar a:visited {
    color: #FFFFFF;
    text-decoration: none;
}

.navbar a:hover {
    text-decoration: underline;
    color: #CCCCCC;
}

.navbarselected {    
    font-size: .84em;
    background-color: #999999;
    color: white;
}    

.facilitiesbanner {
    font-size: 150%;
    color: #990000;
   font-weight: bold;
}

.facilitiesbanner a:link {
    text-decoration: none;
    color: #990000;
}
.facilitiesbanner a:visited {
    color: #990000;
    text-decoration: none;
}

.facilitiesbannerpp a:hover {
    text-decoration: none;
}

.cmuaffiliation {
    font-size: 90%;
    font-weight: bold;
    color: #cccccc;

}

.cmuaffiliation a:link {
    text-decoration: none;
    color: #cccccc;
}
.cmuaffiliation a:visited {
    color: #666666;
    text-decoration: none;
}

.cmuaffiliation a:hover {
    text-decoration: none;
}

.scsaffiliation {
    font-size: 110%;
    color: #000000;
    font-weight: bold;

}
.scsaffiliation a:link {
    text-decoration: none;
    color: black;
    font-weight: bold;
}
.scsaffiliation a:visited {
    color: black;
    text-decoration: none;
    font-weight: bold;
}

.scsaffiliation a:hover {
    text-decoration: none;
}

.mainsearchform {
    text-align: center;
    vertical-align: middle;
    margin-right: 0px;
    margin-left: 0px;
    margin-top: 0.3em;
    margin-bottom: 0.3em;
}

.advsearch {
    font-size: 84%;
    text-align: right;
}

.breadcrumb {
    font-size: .84em;
    color: #000000;

}

.bclocation {
    color: #990000;
}


.leftmenuheader {
    font-weight: bold;
    font-size: 90%;
    background-color: #CCCCCC;
}

.leftmenu {
    font-size: 84%;
    line-height: 1.6;
}

.leftmenuselected {
    font-size: 84%;
/*    font-weight: bold; */
    color: white;
    background-color: #999999;
}

.leftmenu a:link {
    text-decoration: none;
    color: black;
}
.leftmenu a:visited {
    color: black;
    text-decoration: none;
}

.leftmenu a:hover {
    text-decoration: underline;
    color: #666666;
}



.newsheader {
    font-size: 90%;
    font-weight: bold;
    background-color: #CCCCCC;
}

.archiveslabel {
   font-size: .84em
}   

.headline {
    font-weight: bold;
    margin-bottom: .3em;
    font-size: .84em;
}

.story {
    margin-left: 1em;
    margin-bottom: 1em;
    font-size: .84em;
 }
 
.hottopicsheader {
    font-size: 90%;
    font-weight: bold;
    background-color: #CCCCCC;
}

.htheadline {
    font-weight: bold;
    margin-bottom: .3em;
    font-size: .84em;

}

.htstory {
    margin-left: 1em;
    margin-bottom: 1em;
    font-size: .84em;
 }

.aboutusheader {
    font-weight: bold;
    color: #FFFFFF;
    background-color: #990000;
    font-size: 90%;

}
.aboutusbody {
    font-size: .84em;
}

.gethelpbody {
    font-size: .90em;
    text-align: center;
    border: solid #CCCCCC;
    border-width: 1px;
    padding-top: 1em;
    padding-bottom: 1em;

}

.footer {
        font-size: x-small;
}        


.ix {
   margin-left: 3em;
}

.vendorheading {
   font-weight: bold;
}

.licensesubheading {
   font-weight: bold;
}

.softwarenames {
}

#content {
    margin-left: 10%;
    margin-right: 10%;
    line-height: 1.3;
    font-size: 80%;
}

#content h1,h2,h3,h4,h5 { margin-left: -1em; color: #990000;}

#content h1 {font-size:160%;  }

#content h2 {font-size: 130%;}


#content h3 {font-size: 110%;}


#content h4 {font-size: 100%;}

#content h5 {font-size: 100%;}

#content li {margin-top: .2em; margin-bottom: .2em;}


/* added for billings - june 25, 2004 by cbs */
.shell {
background-color: #dddddd;
font-size: 1.1em;
margin-left: 2em;
margin-right: 2em;
padding: 1em;
}


/* 8 Feb 08 crt - added for Kerberos instance_mgr announcements */

/* jul-22-2011  cbs - removed InfoBackground because of Ubuntu/CSS3
related problems with the color.  
Replace with #FFFFE0 (light yellow).
*/
.notebox {
  margin: 1em 10% 1em 10%; border: solid 1px; padding: 5px;
  background-color: #FFFFE0;
}


/*******************************/