h1 { 
  font-family: Sans-Serif;  
  margin-left: 1em;
}

h1, h2, h3, h4, h5, h6 {
  font-family: Sans-Serif;
}

h1 {
  margin: 0em 0em 0em 25px;
}

h2 {
  margin: 0em 0em 0em 10px;
}

h3 {
  margin: 0em 0em 0em 20px;
}

h4 {
  margin: 0em 0em 0em 30px;
}

pre { 
  background-color: #dddddd;
  margin: 1em;
  padding: 1em;
}

div.menu a:visited
{
  color: black;
}

div.menu a:hover
{
  color: black;
  background-color: #99ddff;
  border-color: black;
}

div.menu a.active
{ 
  border-color:  black;
}

div.menu a
{
  text-decoration: none;
  font-size: .8em;
  font-family: Sans-Serif;

  border-width: 1px;
  border-style: solid;
  border-color:  #cdedf7;

  padding-left: 15px;
  padding-right: 15px;

  margin-left: 5px;
  margin-right: 5px;

  background-color: #cdedf7;
  color: black;  
}

/* EOF */