| /* Pretty printing styles. Used with prettify.js. */ | |
| .str { color: #080; } | |
| .kwd { color: #008; } | |
| .com { color: #800; } | |
| .typ { color: #606; } | |
| .lit { color: #066; } | |
| .pun { color: #660; } | |
| .pln { color: #000; } | |
| .tag { color: #008; } | |
| .atn { color: #606; } | |
| .atv { color: #080; } | |
| .dec { color: #606; } | |
| 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.L4, | |
| li.L5, | |
| li.L6, | |
| li.L7, | |
| li.L8, | |
| li.L9 { background: #eee } | |
| @media print { | |
| .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 { color: #440; } | |
| .pln { color: #000; } | |
| .tag { color: #006; font-weight: bold; } | |
| .atn { color: #404; } | |
| .atv { color: #060; } | |
| } |