1 /* Pretty printing styles. Used with prettify.js. */
3 /* SPAN elements with the classes below are added by prettyprint. */
4 .pln { color: #000 } /* plain text */
7 .str { color: #080 } /* string content */
8 .kwd { color: #008 } /* a keyword */
9 .com { color: #800 } /* a comment */
10 .typ { color: #606 } /* a type name */
11 .lit { color: #066 } /* a literal value */
12 /* punctuation, lisp open bracket, lisp close bracket */
13 .pun, .opn, .clo { color: #660 }
14 .tag { color: #008 } /* a markup tag name */
15 .atn { color: #606 } /* a markup attribute name */
16 .atv { color: #080 } /* a markup attribute value */
17 .dec, .var { color: #606 } /* a declaration; a variable name */
18 .fun { color: red
} /* a function name */
21 /* Use higher contrast and text-weight for printable form. */
22 @media print
, projection
{
24 .kwd { color: #006; font-weight: bold
}
25 .com { color: #600; font-style: italic
}
26 .typ { color: #404; font-weight: bold
}
28 .pun, .opn, .clo { color: #440 }
29 .tag { color: #006; font-weight: bold
}
36 /* Specify class=linenums on a pre to get line numbering */
37 ol
.linenums
{ margin-top: 0; margin-bottom: 0 } /* IE indents via margin-left */
45 li
.L8
{ list-style-type: none
}
46 /* Alternate shading for lines */
51 li
.L9
{ background: #eee }