body {

  font-family: monospace;
  font-size: 12pt;
  color: black;
  background-color: white }

.debug {
  color: #C0C0C0; }