body {
  font-family: sans-serif;
  margin: 10pt;
}

.line {
    margin-left: 6em;
    padding-left: 0.2em;
    border-left: 1px solid #CCC;
    position: relative;
}

.lineno {
    font-family: monospace;
    display: block;
    position: absolute;
    left: -7em;
    width: 5em;
    text-align: right;
}

.linetext {
    margin: 0px;
}

.annotation-expando {
    border-radius: 0.2em;
    -moz-border-radius: 0.2em;
    width: 0.4em;
    height: 100%;
    position: absolute;
    left: -1em;
    background-color: #CCC;
    border: 2px solid white;
    cursor: pointer;
}

.annotations {
    display: none;
    border: 1px solid #999;
    background-color: #FFC;
    margin-top: 3px;
    margin-bottom: 3px;
}

.annotations > li {
    margin-left: 1em;
    margin-top: 3px;
    margin-bottom: 3px;
}

#header {
  margin-top: -10pt;
  padding-top: 5px;
  margin-left: -10pt;
  padding-left: 10pt;
  margin-right: -10pt;
  padding-right: 10pt;
  font-size: 150%;
  font-weight: bold;
  background-color: #004;
  color: white;
}

#header :link,
#header :visited {
  color: white;
  text-decoration: none;
}

#searchform {
  float: right;
}

#headerclear {
  clear: both;
  height: 1px;
  padding-bottom: 5px;
}

#footer {
  margin-top: 1em;
  padding-top: 5px;
  border-top: 1px solid #004;
  color: #004;
  text-align: center;
}