#nav {
}

#nav ul {    
    margin: 0;
    padding: 0;
    list-style: none;
    font-weight: bold;
    font-size: 1.0em;
    color: rgb(50,50,50);
}   

#nav li {
    float: left;
    white-space: nowrap;
}

#nav li a {
    display: block;
    padding: 0em 1.0em 0em 0em;
}

#nav .selected {
    padding: 0em 0.5em 0em 0.5em;
    border-right: solid 0.1em rgb(175,175,175);     
    background-color: rgb(220,220,220);
}

dt,dd,dl {
  padding: 0;
  margin: 0;
}

li p {
  padding: 0;
  margin: 0 0 0.5em 0;
}

h1 {
  border-bottom:1px solid #dadada;
  padding: 0em 0em 0.4em 0em;
  font-size:2em;
  color:#404040;
}

h1.title {
  font-size:2.4em;
  margin: 0;
  padding: 1em 0em 1em 0em;
  border-bottom: none;
}

h2,h3 {
  margin: 1.6em 0em 0.5em 0em;
  padding: 0;
  border-bottom: none;
}

tt.literal {
  font-size: 1.2em;
}

#end {
  margin: 0;
  margin-top: 3em;
  padding: 0;
  padding-top: 0.2em;
  padding-bottom: 1em;
  border-top:1px solid #dadada;
}