body {
  font-family: monospace;
  font-size: 10pt;
  text-align: center;
}

table {
  font-size: 10pt;
  text-align: left;
}

table.code {
  text-align: left;
  font-size: 10pt;
  border-collapse: collapse;
  border: 1px;
  border-color: black;
  border-style: dashed;
  background-color: #FAFAFF;
  width: 75%;
}

td.comment {
  background-color: #F0F0F0;
  color: #00A000;
}

.boundary {
  font-weight: bold;
  color: blue;
}	

.boundary_type {
  color: green;
  text-decoration: underline;
}

.mathi {
  background-color: #F0F0F0;
  color: red;
}

.function {
  color: maroon;
}

.constant {
  color: #FF9000;
}

.option {
  color: green;
  font-style: oblique; 
}

.verb {
  color: gray;
}