a { color: maroon; font-weight: bold; text-decoration: underline; }
pre.codefont   { 
  font-family: "Courier New", "Courier", monospace;
  font-size: 12px;
  color: rgb(0,0,105);
  font-weight: bold;
  font-style: normal;
}
pre.normal {
  font-family: "Courier New", "Courier", monospace;
  font-size: 12px;
  font-style: normal;
  color: black;
  font-weight: normal;
}
pre  { 
  font-family: "Courier New", "Courier", monospace;
  font-size: 12px;
  font-style: normal;
  color: rgb(0,0,105);
  font-weight: bold;
}

.codecomment { color: rgb(105, 0, 0); font-weight: normal; font-style: italic; }
.codenote { color: gray; font-weight: normal; font-style: italic; }