body.std {
  max-width: 55em;
  line-height: 1.4em; 
  font-family: "Tahoma";
  font-size: 12pt; 
}
div.logo {
  text-align: center;
}
span.asm {
  color: #B80000; /* red */
}
span.key {
  color: #0000A0; /* blue */
}
span.rem {
  color: #007000; /* green */
}
span.str {
  color: #804000; /* brown */
}
span.pbfrm {
  color: #A020A0; /* magenta */
}
span.op {
  color: #8400F8; /* purple */
}
span.util {
  color: #00B0B0; /* cyan */
}
span.amber {
  color: #C0B000;
}
span.brn {
  color: #804000; /* brown */
}
pre.src {
  background-color: #F0F0F0;
  /* font: font-style font-variant font-weight font-size/line-height */
  width: 80ch;
  font: 'Consolas' normal normal Monospace;
  font-size: 11pt;
  padding-top: 1pt; 
  padding-bottom: 2pt;
  margin-bottom: 0px 0px 0px 0px;
}
pre.con {
  background-color: #000000;
  color: #20E020;
  width: 80ch;
  font: 'Consolas' normal normal Monospace;
  font-size: 11pt;
  padding-top: 1pt; 
  padding-bottom: 2pt;
  margin-bottom: 0px 0px 0px 0px;
}

/* margin padding: top right bottom left */


dt {
  font-weight: bold; 
}

span.bkmk {
  color: #A07020;
  font-weight: 900;
  font-size: 10pt;
}