| /* Pretty printing styles. Used with prettify.js. */ | 
| /* Customization from the prettify.css default style*/ | 
|   | 
| /* SPAN elements with the classes below are added by prettyprint. */ | 
| .pln { color: #000 }  /* plain text */ | 
|   | 
| @media screen { | 
|   .str { color: #d14 }  /* string content */ | 
|   .kwd { color: #008;font-weight: bold; }  /* a keyword */ | 
|   .com { color: #11880d }  /* a comment */ | 
|   .typ { color: #900;font-weight: bold; }  /* a type name */ | 
|   .lit { color: #099 }  /* a literal value */ | 
|   /* punctuation, lisp open bracket, lisp close bracket */ | 
|   .pun, .opn, .clo { color: #0086B3 } | 
|   .tag { color: #008 }  /* a markup tag name */ | 
|   .atn { color: #008080 }  /* a markup attribute name */ | 
|   .atv { color: #d14 }  /* 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 } |