a:link img, a:visited img { border-style: none;} 

a:hover {
   background: #0000BB;
   color: white;
}

table.intable { 
    display: inline-table;
    font-size: 6pt;
	vertical-align: middle;
}

tr.intable {
	    line-height: 90%; 
}

a[href].main-menu-item:hover,a[href].sub-menu-item:hover,span:hover { 
   background: white;
   color: darkblue;
}
  
  
pre {
        background: white;
}
  
body, p { 
  font-family: Verdana, sans-serif;
  font-size: 10pt;
  padding-left: 0.5cm;   
  padding-right: 0.5cm;   
  padding-top: 0.4cm;
  background-color: #cccccc;   
}

body.menu {
    padding-left: 0.2cm;
    padding-top: 0cm;
    #background-color: #cccccc;
    background-color: royalblue;
    color: white;
}

A {
  colorx: #0000FF; 
  color: darkblue;
  text-decoration: none;
  #border-style: hidden hidden dotted;
  border-width: thin;
}

A.main-menu-item {    
  font-weight: bolder;
  font-size: larger;
  color: white;
  line-height: 180%;
  border-style: none;
}

A.sub-menu-item {    

  color: white;
  line-height: 140%; 
  padding-left: 20px;
  border-style: none;
}


H1 {
  font-size: huge;
  font-variant: small-caps;
  font-weight: bold;
  margin-top: 0px;
  padding-left: 2px;
  padding-right: 2px;
  background-color: #cccccc; 
  color: darkblue;
}

H2 {
  font-size: medium;
  font-weight: bold;
  background-color: #dddddd;
  color: darkblue;
  padding-right: 2px;
  padding-left: 2px;
}

H3 {
  font-family: sans-serif, Arial;
  font-weight: bold;
  font-size: small;
  font-style: italic;
  padding-right: 2px;
  padding-left: 2px;
}

H4 {
  font-family: sans-serif, Arial;
  font-size: small;
  font-weight: normal;
  font-style: italic;
  padding-left: 2px;
  padding-right: 2px;
}

H5 {
  color: white;
  font-size: medium;
  font-weight: bold;
  margin-top: 0px;
  margin-bottom: 0px;
  padding-top: 0px;
  padding-bottom: 0px;
}

H6 {
  font-size: small;
  font-weight: bold;
  margin-top: 0px;
  margin-bottom: 0px;
  margin-right: 4px;
}

li {
    padding-top : 5pt;
}