diff options
Diffstat (limited to 'forum/media/style/prettify.css')
-rw-r--r-- | forum/media/style/prettify.css | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/forum/media/style/prettify.css b/forum/media/style/prettify.css new file mode 100644 index 00000000..10a37577 --- /dev/null +++ b/forum/media/style/prettify.css @@ -0,0 +1,27 @@ +/* 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: 3px; border: 0px 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; } +} |