span.code_comment {
  color: green;
  font-family: monospace,courier new,courier;
}

span.code_keyword, span.code_statement, span.code_function,
  span.code_type, span.code_constant, code_hex {
  color: navy;
  font-family: monospace,courier new,courier;
}

span.code_function {
  font-weight: bold;
}