body
{
  background-color : #cccccc;
}

h1
{
  border-top : medium double blue;
  border-right : medium double blue;
  border-bottom : medium double blue;
  border-left : medium double blue;
}

h2
{
  border-top : medium double blue;
  border-bottom : medium double blue;
}

h3
{
  border-bottom : medium double blue;
}

h4
{
  border-bottom : thin solid blue;
}

pre
{
  background-color : white;
}

p
{
  text-indent : 2ex;
}

.file
{
  font-family : monospace;
  color : green;
}

.variable
{
  font-family : monospace;
  color : teal;
}

.note
{
  color : red;
}