pre {
  display: block;
  padding: 0.5em;
  margin-top: 0.5em;
  margin-bottom: 0.5em;
  box-sizing: border-box;
  background: #F5F2F0;
  font: inherit;
  overflow: auto;
  tab-size: 4;
  word-wrap: normal;
  text-shadow: 0 1px white;
  font-family: Monaco, Consolas, monospace;
  color: black;
  text-shadow: white 0px 1px;
  white-space: pre;
  font-size: 12px;
  line-height: 18px;
}

.ace-static .variable {
  /*
   * color: rgb(0, 96, 167);
   */
  color: #2E2E2E;
}

.ace-static .keyword, .ace-static .function {
  /*color: #905;*/
  color: black;
  font-weight: bold;
}

.ace-static .operator {
  color: black;
}

.ace-static .string {
  color: rgb(50, 59, 186);
}

.ace-static .comment {
  color: slateGray; 
}

.ace-static .function, .ace-static .operator {
  font-weight: normal;
}