body {
  color: #004;
  background: #fff;
  font-size: small;
  font-family: 'trebuchet MS', Verdana, Arial, Helvetica, sans-serif;
  padding:10px;
}

a {
/*  font-weight: bold; */
  color: #44c;
  text-decoration: none;
  outline: none;
}

a:visited {
  color: #448;
}

a:hover {
  border-style: solid;
  border-color: #484;
  border-width: 0px 0 1px 0;
}

a.active {
  color: #000;
}


h1, h2, h3, h4, h5 {
/*      text-transform: lowercase; */
  padding: 2px 0 0 0px;
  border-color: #ddd;
  border-width:0px 0 1px 0;
  border-style: dashed;
  color: #00a;
}

h1 { font-size: 1.5em; border-style: solid; }
h2 { font-size: 1.2em; }
h3 { font-size: 1.1em; }
h4 { font-size: 1.0em; }
h5 { font-size: 1em; }
/* Who really needs more than 5 header sizes? */
p { font-size: 1em; }

p {
  padding: 0;
}

ul.links {
  margin: 0 0 10px 0;
  padding: 0 0 0 0;
}

ul.links li{
  margin: 0 0 0 20px;
  padding: 0 0 0 0;
}
ul.links li.active {
  padding-left: 5px;
  margin-left: 15px;
}

blockquote {
  color: #333;
  background: #ffe;
  margin: 10px 0;
  padding: 10px;
  font-size:.9em;
  line-height:1.4em;
}

hr {
display: none;
}

pre {
padding: 0.8em;
border: 1px solid #aad;
background-color: #f5fafe;
}