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