a:link img, a:visited img { border-style: none } /* no border on img links */
/* @media screen {   hide from IE3 */
/* a[href]:hover { */
a:hover {
   background: #0000BB;
   color: white;
}

a[href].main-menu-item:hover,a[href].sub-menu-item:hover,span:hover { 
   background: white;
   color: darkblue;
   font-weight: bolder;
}
  
  
pre {
        background: white;
}
  
body { 
  font-family: serif;
  padding-left: 0.5cm;   
  padding-right: 0.5cm;   
  padding-top: 0.4cm;
  background-color: white;   
}

body.menu {
    font-family: sans-serif, Arial;
    padding-left: 0.2cm;
    padding-top: 0cm;
    background-color: lightgrey;
    color: darkblue;
}

A {
  colorx: #0000FF; 
  color: darkblue;
  text-decoration: none;
}

A.main-menu-item {    
  font-family: sans-serif, Arial;
  font-weight: bolder;
  font-size: larger;
  color: darkblue;
  line-height: 180%;
}

A.sub-menu-item {    
  font-family: sans-serif, Arial;
  font-weight: bolder;
  font-size: smaller;
  color: darkblue;
  line-height: 140%; 
  padding-left: 20px;
}


H1 {
  font-size: huge;
  font-family: sans-serif, Arial;
  font-variant: small-caps;
  font-weight: bold;
  margin-top: 0px;
  #padding-top: -0.2cm;
  padding-left: 2px;
  padding-right: 2px;
  background-color: #cccccc; 
  color: darkblue;
}

H2 {
  font-family: sans-serif, Arial;
  font-size: medium;
  font-weight: bold;
#  font-variant: small-caps;
# font-style: italic;
  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-family: sans-serif, Arial;
  font-size: medium;
  font-weight: bold;
  margin-top: 0px;
  margin-bottom: 0px;
  padding-top: 0px;
  padding-bottom: 0px;
}

H6 {
  font-family: sans-serif, Arial;
  font-size: small;
  font-weight: bold;
  margin-top: 0px;
  margin-bottom: 0px;
  margin-right: 4px;
}

li {
    padding-top : 5pt;
}