@import "default.css";


/* Main Navigation bar */
#nav {
  font-family: Georgia, 'Times New Roman', serif;  
  background: #BFCFFF;
  border-bottom: 2px solid #6078BF;
  font-size: 1.3em;
  font-weight: bold;
  color: #405080;
}
#nav p {
  background: #BFCFFF;
  margin: 0%;
  padding-left: 6%;
  padding-right: 4%;
  padding-top: 2%;
  padding-bottom: 1%;
}
#nav a:link{
  color: #405080;
  text-decoration: none;
  margin-left: 0.5em;
  margin-right: 0.5em;
}
#nav a:visited{
  color: #405080;
  text-decoration: none;
  margin-left: 0.5em;
  margin-right: 0.5em;
}
#nav a:hover{
  text-decoration: none;
  color: #6078BF;
  margin-left: 0.5em;
  margin-right: 0.5em;
}
#nav span.current {
  color: #6078BF;
  font-weight: bold;
  text-decoration: none;
  margin-left: 0.5em;
  margin-right: 0.5em;
}
#nav a.current {
}

#nav span.currentdocu {
  color: #bbbbff;
  text-decoration: none;
  background-color: #6078BF;
  padding: 0.7em;
  margin-left: 0.5em;
  margin-right: 0.5em;
}
#nav a.currentdocu {
  font-weight: bold;
  color: white;
  background-color: #6078BF;
  padding: 0.7em;
}
#nav a.currentdocu:hover {
  font-weight: bold;
  color: #bbbbff;
  background-color: #6078BF;
  padding: 0.7em;
}
#nav a.langchoice {
  position: absolute;
  right: 4%;
  font-size: 0.8em; 
}  
#nav .sitemap {
  font-size: 0.8em;
}


/* Subnavigation bar */

#subnav {
  font-family: Georgia, 'Times New Roman', serif;  
  background: #6078BF;
  border-bottom: 2px solid #6078BF;
  font-size: 1em;
  font-weight: bold;
}
#subnav p {
  background: #6078BF;
  margin: 0%;
  padding-left: 8%;
  padding-right: 4%;
  padding-top: 1%;
  padding-bottom: 0.8%;
  color: white;
}
#subnav a:link{
  color: white;
  text-decoration: none;
  margin-left: 0.5em;
  margin-right: 0.5em;
}
#subnav a:visited{
  color: white;
  text-decoration: none;
  margin-left: 0.5em;
  margin-right: 0.5em;
}
#subnav a:hover{
  color: #bbbbff;
  text-decoration: none;
  margin-left: 0.5em;
  margin-right: 0.5em;
}
#subnav .current {
  color: #bbbbff;
  font-weight: bold;
  text-decoration: none;
  margin-left: 0.5em;
  margin-right: 0.5em;
}

#subnav a.currentdocu {
  color: white;
  font-weight: bold;
  margin-left: 0.5em;
  margin-right: 0.5em;
}

/* Introduction additional navigation */

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