h1 {
  padding-bottom: 0px;
}
ul.menu {
  margin-left: 5px;
  padding-left: 0px;
}
ul.noindent {
  margin-left: 5px;
  padding-left: 5px;
}
li.menu {
  list-style-type: none;
}
ol.alpha li {
  list-style-type: lower-alpha;
}
h3.project {
  text-decoration: underline;
}
p.description {
}
p.details {
  font-style: italic;
}