.htmlize {
 color: #000000;
 background-color: #ffffff;
}
.htmlize .builtin {
 color: #da70d6;
}
.htmlize .comment {
 color: #b22222;
}
.htmlize .function-name {
 color: #0000ff;
}
.htmlize .keyword {
 color: #a020f0;
}
.htmlize .string {
 color: #bc8f8f;
}
.htmlize .type {
 color: #228b22;
}
.htmlize .variable-name {
 color: #b8860b;
}
.htmlize .warning {
 color: #ff0000;
 font-weight: bold;
}
.htmlize a {
 color: inherit;
 background-color: inherit;
 font: inherit;
 text-decoration: inherit;
}
.htmlize a:hover {
  text-decoration: underline;
}
/* for the editierabstand-page */
.htmlize .repl-prompt {
 color: #00dcff;
}
.htmlize .format-output {
 color: #00dd00;
}