body
{
  background-color: #eeeeee;
  color: black;
  margin: 0px;
  padding: 0px;
}

a:link
{
  color: black;
}
a:visited
{
  color: black;
}

.header, .outer, .title, .chapter, .sub-chapter, .nav, .section
{
  font-family: Arial, sans-serif;
}

.header
{
  background-color: white;
  font-size: x-small;
  border-bottom: solid thin gray;
}

.title
{
  font-size: x-large;
  font-weight: bold;
  padding: 5px;
}

.chapter, .sub-chapter
{
  font-weight: bold;
  margin: 10px;
  padding: 5px;
}

.chapter
{
  background-color: gray;
  font-size: large;
  color: white;
}
/* IE is so great, it understands "gray" but not "grey", and "lightgrey" but not "lightgray"! */
.sub-chapter
{
  background-color: lightgrey;
  font-size: small;
}

.outer, .nav, .section, .note, .ext-links
{
  color: black;
}

.outer
{
  background-color: #eeeeee;
  width: 100%;
  border-top: solid thin gray;
  position: fixed;
}

.nav, .section
{
  background-color: white;
  margin-top: 10px;
  padding: 5px;
  border: solid thin gray;
#  position: absolute;
  top: 70px;
}

.nav
{
  width: 20%;
  border-left: none;
}

/* With Nav
.section
{
  margin-left: 22%;
  width: 76%;
}
*/

/* No nav */
.section
{
  margin: 5px;
  width: 98%;
}

.note, .ext-links
{
  border: solid thin gray;
  padding: 5px;
}

.note
{
  background-color: lightyellow;
}

.ext-links
{
  background-color: lightblue;
}

.code, .terminal, .kernel
{
  font-family: monospace;
  white-space: pre;
  border: solid thin gray;
}

.code
{
  background-color: lightgrey;
}

.terminal, .kernel
{
  color: white;
}

.terminal
{
  background-color: black;
}

.kernel
{
  background-color: blue;
}