body {
  background: white;
  color: black;
  margin-right: 20px;
  margin-left: 20px;
}
div.fragment {
  width: 98%;
  border: 1px solid #ddd;
  background-color: #eeeeee;
  padding: 10px;
  margin: 10px;
}
h2 { font-family: monospace; }
span.type          { color: blue;    }
span.keyword       { color: #008000; }
span.keywordflow   { color: #e08000; }
span.comment       { color: #800000; }
span.stringliteral { color: #002080; }
span.charliteral   { color: #008080; }