1/* Pretty printing styles. Used with prettify.js. */ 2 3/* SPAN elements with the classes below are added by prettyprint. */ 4.pln { color: #000 } /* plain text */ 5 6@media screen { 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 */ 19} 20 21/* Use higher contrast and text-weight for printable form. */ 22@media print, projection { 23 .str { color: #060 } 24 .kwd { color: #006; font-weight: bold } 25 .com { color: #600; font-style: italic } 26 .typ { color: #404; font-weight: bold } 27 .lit { color: #044 } 28 .pun, .opn, .clo { color: #440 } 29 .tag { color: #006; font-weight: bold } 30 .atn { color: #404 } 31 .atv { color: #060 } 32} 33 34pre.prettyprint { } 35 36/* Specify class=linenums on a pre to get line numbering */ 37ol.linenums { margin-top: 0; margin-bottom: 0 } /* IE indents via margin-left */ 38li.L0, 39li.L1, 40li.L2, 41li.L3, 42li.L5, 43li.L6, 44li.L7, 45li.L8 { list-style-type: none } 46/* Alternate shading for lines */ 47li.L1, 48li.L3, 49li.L5, 50li.L7, 51li.L9 { background: #eee } 52