| /* Pretty printing styles. Used with prettify.js. */ |
| |
| @external .str; |
| @external .kwd; |
| @external .com; |
| @external .typ; |
| @external .lit; |
| @external .pun; |
| @external .pln; |
| @external .tag; |
| @external .atn; |
| @external .atv; |
| @external .dec; |
| @external .prettyprint; |
| |
| .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; } |
| |
| @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; } |
| } |
