div.hl-main {
  padding: 5px;
  background-color: #FFFFFF;
  overflow: auto;
  font-size: 12px;
}

div.hl-main td.hl-gutter {
  width: 25px;
  font-size: 12px;
}

div.hl-main span.hl-reserved {
  color: #336699;
  font-weight: bold;
}

div.hl-main span.hl-code, div.hl-main span.hl-identifier {
  color: Black;
}

div.hl-main span.hl-special {
  color: orange;
}

div.hl-main span.hl-number, div.hl-main span.hl-var, div.hl-main span.hl-string {
  color: green;
}

div.hl-main td.hl-main {
  font-size: 12px;
}

div.highlight_legend {
  background-color: #CCCCCC;
  color: #000000;
  padding: 2px;
  font-size: 10px;
  border-top: 1px solid #999999;
  font-style: italic;
}

.hl-console {
  background-color: #000;
  color: #FFF;
  padding: 5px;
}

.hl-main, hl-console {
  font-size: 0.9em !important;
  line-height: 1em;
}