diff options
-rwxr-xr-x | askbot/skins/default/media/style/style.css | 27 | ||||
-rw-r--r-- | askbot/skins/default/templates/question.html | 1 |
2 files changed, 27 insertions, 1 deletions
diff --git a/askbot/skins/default/media/style/style.css b/askbot/skins/default/media/style/style.css index d1d6ca2c..14ea9648 100755 --- a/askbot/skins/default/media/style/style.css +++ b/askbot/skins/default/media/style/style.css @@ -2675,3 +2675,30 @@ img.gravatar { text-decoration: underline; } +/* 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; } +} diff --git a/askbot/skins/default/templates/question.html b/askbot/skins/default/templates/question.html index 66359f6d..6c7f288b 100644 --- a/askbot/skins/default/templates/question.html +++ b/askbot/skins/default/templates/question.html @@ -23,7 +23,6 @@ {% endif %} <script type='text/javascript' src='{{"/js/com.cnprog.post.js"|media}}'></script> <script type='text/javascript' src='{{"/js/jquery.validate.pack.js"|media}}'></script> - <script type="text/javascript"> // define reputation needs for comments var repNeededForComments = 50; |