pretty.css

/* Pretty print */

.prettyprint .str, /* string content */
.prettyprint .atv {
    /* a markup attribute value */
    color: rgb(0, 138, 53);
}

.prettyprint .kwd, /* a keyword */
.prettyprint .tag {
    /* a markup tag name */
    color: rgb(0, 102, 204);
}

.prettyprint .com {
    /* a comment */
    color: rgb(127, 127, 127);
    font-style: italic;
}

.prettyprint .lit {
    /* a literal value */
    color: rgb(127, 0, 0);
}

.prettyprint .pun, /* punctuation, lisp open bracket, lisp close bracket */
.prettyprint .opn,
.prettyprint .clo {
    color: rgb(127, 127, 127);
}

.prettyprint .typ, /* a type name */
.prettyprint .atn, /* a markup attribute name */
.prettyprint .dec,
.prettyprint .var {
    /* a declaration; a variable name */
    color: rgb(127, 0, 127);
}

pre {
    font-family: 'Menlo', monospace;
    font-size: 30px;
}

pre.smaller {
    font-size: 25px;
}

pre.smallest {
    font-size: 16px;
}

pre.tiny {
    font-size: 12px;
    line-height: 13px;
}

.generated {
    opacity: 0.6;
}