sourcetext {
  display: block;
  white-space: pre;
  font-family: Monospace;
  font-size: 0.8em;
}
k { color: darkblue; font-weight: bold; }
c { color: green; }
i { color: darkblue; }
sl { color: red; }
cl { color: purple; }
op { color: royalblue; }
br { color: orange; }