body
{ background-color: #ffffff;
  background-image: url(images/xlogo.gif);
  background-position: left;
  background-repeat: repeat-y;
  font-family: "Helvetica", sans-serif;
  margin-left: 80px;
}

p, td, th
{ font-family: "Helvetica", sans-serif;
}

.proto
{ background-color: maroon;
  color: white;
}

.source
{ background-color: navy;
  color: white;
}

tt, pre
{ font-family: "Courier", monospaced;
}

h1, h2, h3, h4, h5, h6
{ font-family: "Times New Roman", serif;
}

h1
{ font-size: 140%;
}

h1.red
{ color: #ff0000;
}

h2
{ font-size: 130%;
}

h3
{ font-size: 120%;
}

h4
{ font-size: 110%;
}