| /* Pretty printing styles. Used with prettify.js. */ |
| @external .*; |
| |
| /* SPAN elements with the classes below are added by prettyprint. */ |
| .pln { color: #000 } /* plain text */ |
| |
| @media screen { |
| .str { color: #080 } /* string content */ |
| .kwd { color: #008 } /* a keyword */ |
| .com { color: #800 } /* a comment */ |
| .typ { color: #606 } /* a type name */ |
| .lit { color: #066 } /* a literal value */ |
| /* punctuation, lisp open bracket, lisp close bracket */ |
| .pun, .opn, .clo { color: #660 } |
| .tag { color: #008 } /* a markup tag name */ |
| .atn { color: #606 } /* a markup attribute name */ |
| .atv { color: #080 } /* a markup attribute value */ |
| .dec, .var { color: #606 } /* a declaration; a variable name */ |
| .fun { color: red } /* a function name */ |
| } |
| |
| /* Use higher contrast and text-weight for printable form. */ |
| @media print, projection { |
| .str { color: #060 } |
| .kwd { color: #006; font-weight: bold } |
| .com { color: #600; font-style: italic } |
| .typ { color: #404; font-weight: bold } |
| .lit { color: #044 } |
| .pun, .opn, .clo { color: #440 } |
| .tag { color: #006; font-weight: bold } |
| .atn { color: #404 } |
| .atv { color: #060 } |
| } |
| |
| /* Put a border around prettyprinted code snippets. */ |
| pre.prettyprint { padding: 2px; border: 1px solid #888 } |
| |
| /* Specify class=linenums on a pre to get line numbering */ |
| ol.linenums { margin-top: 0; margin-bottom: 0 } /* IE indents via margin-left */ |
| li.L0, |
| li.L1, |
| li.L2, |
| li.L3, |
| li.L5, |
| li.L6, |
| li.L7, |
| li.L8 { list-style-type: none } |
| /* Alternate shading for lines */ |
| li.L1, |
| li.L3, |
| li.L5, |
| li.L7, |
| li.L9 { background: #eee } |
