body {
  color : black ;
  background : white ;
  margin-left : 0% ;
  margin-right : 0% ;
}

h2 {
  margin-top : 2em ;
  margin-left : 0em ;
}

h3 {
  margin-top : 0em ;
  margin-left : 0em ;
}

p.body {
  margin-left : 0% ;
  margin-right : 25% ;
/*width : 450px ;*/
}

p.logo {
  margin-top : 0 ;
  margin-bottom : 0 ;
  text-align : left ;
}

pre {
  font-family : monospace ;
  margin-left : 5% ;
}

a.plain {
  text-decoration : none ;
}

a.subentry {
  margin-left : 1em ;
  margin-right : 0 ;
  margin-top : 0 ;
  margin-bottom : 0 ;
  text-decoration : none ;
}

a.broken {
  color : #ff0000 ;
  background : #ffcccc ;
  text-decoration : underline ;
}

a.supplemental {
  font-size : smaller ;
}

td.menubar {
  color : black ;
  background : #cccccc ;
}

div.gap {
  width : 100% ;
  background : green ;
  color : black ;
}

div.gap-right {
  margin-left : 4em ;
}

div.menu-top {
  margin-top : 1em ;
}

div.menu-tail {
  margin-top : 8em ;
}