/* Navbar styles  */
div#navbar {float:left;background: white;  margin:-1px 0 0 0;}

* div#navbar { /* Sætter samme skrift og størrelse på alle elementer i navbar'en  */
  font-size:80%;font-family:arial,sans-serif;font-weight:bold; }
div#navbar ul { margin:0; padding:0; list-style:none; background: white;
  border-top: 1px solid black; }
div#navbar li { position:relative; width:10em; line-height:1em;
  margin:0; padding:0; list-style:none; float:left;
  border-bottom:1px solid black;
  border-right:1px solid black; 
  }
div#navbar li:hover {background-color: #ccf;}
div#navbar li.sub {
  background-position:right center;
  background-repeat:no-repeat;
}
div#navbar li.sub li.sub:hover {
  background-color: #ccf; /* Forhindre background-repeat i IE/Win. */ }
div#navbar ul li a { display:block; text-decoration:none; 
  padding:0.25em 0 0.25em 0.5em; width:9.5em; margin:0; }
div#navbar>ul a {width:auto;}
div#navbar ul ul {display:none;position:absolute;width:10em;
}
div#navbar ul ul li {border-bottom:1px solid black;
  border-left:1px solid black;margin-left:-1px;}
div#navbar li.sub li.sub {
  background-position:right center;
  background-repeat:no-repeat;
}
div#navbar ul.niveau1 li.sub:hover ul.niveau2 {border-top:1px solid black;}
div#navbar ul.niveau1 li.sub:hover ul.niveau2,
div#navbar ul.niveau2 li.sub:hover ul.niveau3 {display:block;}
div#navbar ul.niveau2 {top:1.5em; left:0;}
div#navbar ul.niveau3 {top:-1px; left: 101%; border-top:1px solid black;}

body {
  color: black;
  background: white;
}

.note {
  padding: 0.5em;
  border: none;
  font-family: courier;
  font-size: 12px;
  background-color: #bbffbb;
}

.code {
  padding: 0.5em;
  color: blue;
  border: none;
  font-family: Verdana;
  font-size: 13px;
  font-style: italic;
}

.warning {
  padding: 0.5em;
  border: none;
  font-family: courier;
  font-size: 12px;
  background-color: #ffbbbb;
}

.important {
  padding: 0.5em;
  border: none;
  font-family: courier;
  font-size: 12px;
  font-style: italic;
  background-color: #ffffbb;
}

.example {
  padding: 0.5em;
  border: none;
  font-family: courier;
  font-size: 12px;
  background-color: #bbbbff;
}

.copyright {
  font-family: courier;
  font-size: 12px;
}

.ntable {
  padding: 0em;
  margin-top: 0.5em;
  margin-bottom: 0.5em;
}

.tableinfo {
  padding-left: 1.0em;
  padding-right: 1.0em;
  background: #ddddff;
  font-weight: bold;
  font-family: courier;
}

.infohead {
  padding-top: 0.2em;
  padding-bottom: 0.2em;
  padding-left: 1.0em;
  padding-right: 1.0em;
  margin-left: 1.0em;
  color: #ffffff;
  font-weight: bold;
  font-family: courier;
}

.announcement {
  padding-top: 0.2em;
  padding-bottom: 0.2em;
  padding-left: 1.0em;
  padding-right: 1.0em;
  margin-left: 1.0em;
  font-weight: bold;
  font-family: courier;
  font-size: 20px;
} 

.comment {
  padding-top: 0.2em;
  padding-bottom: 0.2em;
  font-style: italic;
  border: none;
  background-color: #dcdcdc;
}

.quote {
  padding-top: 1.0em;
  padding-bottom: 1.0em;
  margin-left: 1.0em;
  margin-right: 1.0em;
  font-style: italic;
  background-color: #dcdcdc;
}

.urlnote {
  padding: 0.5em;
  border: none;
  font-style: italic;
  font-size: 12px;
  color: RED;
}