/* Main Navigation bar */
#nav {
  font-family: Georgia, 'Times New Roman', serif;  
  background-color: white;
  font-weight: bold;
  border-bottom: 3px solid gray;
  font-size: 1.3em;
}
#nav p {
  background: white;
  margin: 0%;
  padding-left: 4%;
  padding-right: 4%;
  padding-top: 2%;
  padding-bottom: 1%;
}
#nav a {
  padding-right: 0.7em;
  padding-left: 0.7em;
}
#nav a:link {
  color: black;
  background-color: white;
  text-decoration: none;
}
#nav a:visited {
  color: black;
  background-color: white;
  text-decoration: none;
}
#nav a:hover{
  text-decoration: none;
  color: #555555;
}
#nav span.current {
  color: black;
  font-weight: bold;
/*
  text-decoration: none;
*/
  color: #555555;
  padding-right: 0.7em;
  padding-left: 0.7em;
}
#nav a.current {
  font-weight: bold;
}
#nav span.currentdocu {
  color: black;
  font-weight: bold;
  text-decoration: none;
  color: #555555;
  background-color: #dddddd;
  padding: 0.7em 0.7em 1em 0.7em;
}
#nav a.currentdocu {
  font-weight: bold;
  color: black;
  background-color: #dddddd;
  padding: 0.7em 0.7em 1em 0.7em;
}
#nav a.currentdocu:hover {
  font-weight: bold;
  color: #555555;
}


/* Subnavigation bar */

#subnav {
  font-family: Georgia, 'Times New Roman', serif;  
  background: #dddddd;
  border-bottom: 4px solid gray;
  font-size: 1em;
  font-weight: bold;
}
#subnav p {
  background: #dddddd;
  margin: 0%;
  padding-left: 8%;
  padding-right: 4%;
  padding-top: 1%;
  padding-bottom: 0.8%;
  color: black;
}
#subnav a {
  margin-right: 1em;
  margin-left: 1em;
}
#subnav a:link{
  color: #000000;
  text-decoration : none;
}
#subnav a:visited{
  color: #000000;
  background-color: #dddddd;
  text-decoration : none;
}
#subnav a:hover{
  text-decoration: none;
  color: #555555;
  background-color: #dddddd;
}
#subnav span.current {
  font-weight: bold;
  text-decoration: none;
  color: #555555;
  background-color: #dddddd;
  margin-right: 1em;
  margin-left: 1em;
}
#subnav a.current {
  font-weight: bold;
}

#subnav a.currentdocu {
  color: white;
  font-weight: bold;
}

/* Introduction additional navigation */

span.backtooverview {
  margin-left: 3em;
  font-weight: normal;
  font-size: 0.8em;
}

hr.section {
  border: 5px solid #aaaaaa;
  margin-left: -3em;
  margin-right: -3em;
}
p.totop {
  text-align: right;
  font-size: 0.8em;
}