@charset "utf-8";

code {
  font-family: 'Courier New', monospace;

}
pre.syntax-highlight {
  overflow: auto;
  width: 700px;
  font-family: 'Courier New', monospace;
  border: 1px solid black;
  padding: 10px;
  font-size: small;
}

.synSpecial { color: #c000c0; }
.synType { color: #008000; }
.synComment { color: #0000c0; }
.synPreProc { color: #c000c0; }
.synIdentifier { color: #008080; }
.synConstant { color: #c00000; }
.synStatement { color: #804000; }