| /* Pretty printing styles. Used with prettify.js. */ | |
| .str { color: #2A00FF; } | |
| .kwd { color: #7F0055; font-weight:bold; } | |
| .com { color: #3F5FBF; } | |
| .typ { color: #606; } | |
| .lit { color: #066; } | |
| .pun { color: #660; } | |
| .pln { color: #000; } | |
| .tag { color: #008; } | |
| .atn { color: #606; } | |
| .atv { color: #080; } | |
| .dec { color: #606; } |