body {
   color: black;
   background-color: #e5e5e5;
}

h1,h2,h3,h4,h5,h6 {
   margin-top: .5em;
}

.chapterheading {
   font-size: 70%;
}

.scheme {
   color: brown;
}

.scheme .keyword {
   color: #990000;
   font-weight: bold;
}

.scheme .variable {
   color: navy;
}

.scheme .global {
   color: purple;
}

.scheme .selfeval {
   color: green;
}

.scheme .comment {
   color:  teal;
}

.navigation {
   color: red;
   text-align: right;
   font-style: italic;
}

.smallprint {
   color: gray;
   font-size: 75%;
   text-align: right;
}

.smallprint hr {
   text-align: left;
   width: 40%;
}