/* Pretty printing styles. Used with prettify.js. */
/* SPAN elements with the classes below are added by prettyprint. */ .pln { /* plain text */
color: #000;
}
.str { /* string content */
color: #690;
}
.kwd { /* a keyword */
color: #07a;
}
.com { /* a comment */
color: #800;
}
.typ { /* a type name */
color: #905;
}
.lit { /* a literal value */
color: #a67f59;
}
.pun, .opn, .clo { /* punctuation, lisp open bracket, lisp close bracket */
color: #660;
}
.tag { /* a markup tag name */
color: #008;
}
.atn { /* a markup attribute name */
color: #606;
}
.atv { /* a markup attribute value */
color: #080;
}
.dec, .var { /* a declaration; a variable name */
color: #a67f59;
}
.fun { /* a function name */
color: red;
}
/* Put a border around prettyprinted code snippets. */ .prettyprint {
font-family: Consolas, Monaco, 'Andale Mono', monospace; white-space: pre-wrap;
}
/* Specify class=linenums on a pre to get line numbering */ .prettyprint ol.linenums {
padding-left: 60px;
}
.prettyprint li {
color: #999;
}
li.highlight {
background-color: #FFC;
}