.code, .codeblock, .output {
  display: block;
  white-space: pre;
  margin: 1.0em;
  font-family: Courier,monospace; 
  color: black; 
  background-color: #efe;
  border: solid thin; 
  font-weight: normal;
  padding: 0.4em;
  width: 600px;
  z-index: 0;
  overflow: auto;
  line-height : 1.2;
  padding : 1em 2em;
  border-width : medium;
  border-style : outset;
}
.bordered { border: solid 1px black; }

.codecomment { color: #007700; }
.codekeyword { color: #0000ff; }
.codevariable { color: #008888; }
.codefunction { color: #ff7700; }
.codetype { color: #ff00ff; }
.codetext { color: #ff0000; }