body > #navigation {
    position:fixed;
    top:404px;
    left:15px;
    padding-right:10px;
}
body > #codecontent {
    margin-left:165px;
    margin-right:20px;
}
body > #navigation2 {
  position:absolute;
  top:100px;
  left:0px;
  width:400px;
  overflow:hidden;
}

ul.closed, ul.opened {
  font-size:12px;
  list-style-type:none;
  font-weight:bold;
  line-height:16px;
}

ul.closed {
  display:none;
}

ul.opened {
  display:block;
}

a.folder {
  cursor:pointer;
}

a.nav {
  font-weight:bold;
  font-style:italic; 
}

a.nav:link, a.nav:visited, a.nav:hover, a.nav:active {
  color:rgb(45,45,45);
  text-decoration:none;
}

h1 {
  font-size:18px;
  font-weight:bold;
  font-style:italic;
  color:rgb(255,0,0);
  padding-bottom:8px;
  border-bottom:solid 2px rgb(0,0,0);
}