/* CSS Document */
 body
 {
  font-family:Arial, Helvetica, sans-serif;
 }

 .menu
 {
  color: #000000;
  font-size:12px;
  text-transform:uppercase;
  font-weight:bold;
  padding:5px 5px 10px 5px;
 }
 
 .submenu
 {
  color: #000000;
  font-size:12px;
  font-weight:bold;
  padding:0px 5px 5px 5px;
  text-transform:lowercase; 
 }
 
 .smallmenu
 {
  color: #000000;
  font-size:10px;
  font-weight:bold;
  padding:5px 5px 5px 5px;  
 } 
 
 .leftmenu
 {
  color: #000000;
  font-size:12px;
  text-transform:uppercase;
  font-weight:bold;
 }
 
 .menudiv
 {
  border-top:1px solid #CCCCCC;
  border-left:1px solid #CCCCCC;
  border-bottom:1px solid #8a949a;
  border-right:1px solid #8a949a;
 }
  
 .black
 {
  color:#000000;
 }
 
 .white
 {
  color:#ffffff;
 }

 .grey
 {
  color: #8a949a;
 } 
 
 .langs
 {
  color: #000000;
  font-size:10px;
 } 
 
 a
 {
  color:#000000;
  text-decoration:none;
  cursor:pointer;
 }
 
 a:hover
 {
  text-decoration:underline;
 }
 
 a.nounder:hover
 {
  border-bottom:none;
 } 
 
 td.delimiter
 {
  height:15px;
 }
 
 .glossary
 {
  color: #000000;
  font-size:11px;
 } 
 
 
 .skinmenu
 {
  color:#FFFFFF;
  font-size:12px;
  text-transform:uppercase;
  font-weight:bold;
 }
 
 .search
 {
  height:19px;
  border:solid 1px #657983;
  margin:0px;
  color:#82929b;
  font-size:10px;
 }
 
 .title
 {
  font-size:16px;
  font-weight:bold;
 }
 
 h2
 {
  font-size:18px;
  font-weight:bold;
  color:#96aebe;
 }
 
 h4
 {
  font-size:12px;
  font-weight:bold;
  color:#da251d;
 }
 
 p,li,strong
 {
  font-size:12px;
 }