recompiled the css file

2 files changed, 84 insertions, 61 deletions

diff --git a/askbot/media/style/style.css b/askbot/media/style/style.css
index 62c71be3..0d325360 100644
--- a/askbot/media/style/style.css
+++ b/askbot/media/style/style.css
@@ -198,7 +198,7 @@ body.user-messages {
   top: 0px;
   left: 0px;
   width: 100%;
-  height: 31px;
+  height: 34px;
   z-index: 100000;
   padding: 0;
   text-align: center;
@@ -4038,89 +4038,112 @@ img.flag {
 .main-page img.flag {
   vertical-align: text-bottom;
 }
-/* Pretty printing styles. Used with prettify.js. */
 a.edit {
   padding-left: 3px;
   color: #145bff;
 }
-pre {
-  /* name conflict here with tags */
-
-}
-pre .str {
-  color: #080;
-}
-pre .kwd {
-  color: #008;
-}
-pre .com {
-  color: #800;
-}
-pre .typ {
-  color: #606;
-}
-pre .lit {
-  color: #066;
-}
-pre .pun {
-  color: #660;
+/* Pretty printing styles. Used with prettify.js. minified in one line */
+.pln {
+  color: #000000;
 }
-pre .pln {
-  color: #000;
-}
-pre .tag {
-  color: #008;
-}
-pre .atn {
-  color: #606;
-}
-pre .atv {
-  color: #080;
-}
-pre .dec {
-  color: #606;
-}
-pre.prettyprint {
-  clear: both;
-  padding: 3px;
-  border: 0px solid #888;
+@media screen {
+  .str {
+    color: #008800;
+  }
+  .kwd {
+    color: #000088;
+  }
+  .com {
+    color: #880000;
+  }
+  .typ {
+    color: #660066;
+  }
+  .lit {
+    color: #006666;
+  }
+  .pun,
+  .opn,
+  .clo {
+    color: #666600;
+  }
+  .tag {
+    color: #000088;
+  }
+  .atn {
+    color: #660066;
+  }
+  .atv {
+    color: #008800;
+  }
+  .dec,
+  .var {
+    color: #660066;
+  }
+  .fun {
+    color: #ff0000;
+  }
 }
-@media print {
-  pre .str {
-    color: #060;
+@media print, projection {
+  .str {
+    color: #006600;
   }
-  pre .kwd {
+  .kwd {
     color: #006;
     font-weight: bold;
   }
-  pre .com {
+  .com {
     color: #600;
     font-style: italic;
   }
-  pre .typ {
+  .typ {
     color: #404;
     font-weight: bold;
   }
-  pre .lit {
-    color: #044;
-  }
-  pre .pun {
-    color: #440;
+  .lit {
+    color: #004444;
   }
-  pre .pln {
-    color: #000;
+  .pun,
+  .opn,
+  .clo {
+    color: #444400;
   }
-  pre .tag {
+  .tag {
     color: #006;
     font-weight: bold;
   }
-  pre .atn {
-    color: #404;
+  .atn {
+    color: #440044;
   }
-  pre .atv {
-    color: #060;
+  .atv {
+    color: #006600;
   }
 }
+pre.prettyprint {
+  padding: 2px;
+  border: 1px solid #888888;
+}
+ol.linenums {
+  margin-top: 0;
+  margin-bottom: 0;
+}
+li.L0,
+li.L1,
+li.L2,
+li.L3,
+li.L5,
+li.L6,
+li.L7,
+li.L8 {
+  list-style-type: none;
+}
+li.L1,
+li.L3,
+li.L5,
+li.L7,
+li.L9 {
+  background: #eeeeee;
+}
 #leading-sidebar {
   float: left;
 }
diff --git a/askbot/media/style/style.less b/askbot/media/style/style.less
index 4b9d35aa..53573280 100644
--- a/askbot/media/style/style.less
+++ b/askbot/media/style/style.less
@@ -191,7 +191,7 @@ body.user-messages {
     top: 0px;
     left: 0px;
     width: 100%;
-    height: 31px;
+    height: 34px;
     z-index: 100000;
     padding: 0;
     text-align: center;