Change code hightlighting to highlight.js from google-code prettify.js

1 files changed, 50 insertions, 128 deletions

diff --git a/stylesheets/code/dark.css b/stylesheets/code/dark.css
index 871e47d0..b4724f5f 100755
--- a/stylesheets/code/dark.css
+++ b/stylesheets/code/dark.css
@@ -1,141 +1,63 @@
-/* Tomorrow Night Eighties Theme */
-/* Original theme - https://github.com/chriskempson/tomorrow-theme */
-.prettyprint {
-  background: #2d2d2d;
-  font-family: Menlo, 'Bitstream Vera Sans Mono', 'DejaVu Sans Mono', Monaco, Consolas, monospace;
-  font-size: 12px;
-  line-height: 1.5;
-  border: 1px solid #ccc;
-  padding: 10px;
-}
-
-.pln {
-  color: #cccccc;
-}
-
-@media screen {
-  .str {
-    color: #99cc99;
-  }
-
-  .kwd {
-    color: #cc99cc;
-  }
-
-  .com {
-    color: #999999;
-  }
-
-  .typ {
-    color: #6699cc;
-  }
-
-  .lit {
-    color: #f99157;
-  }
-
-  .pun {
-    color: #cccccc;
-  }
-
-  .opn {
-    color: #cccccc;
-  }
-
-  .clo {
-    color: #cccccc;
-  }
+/*
 
-  .tag {
-    color: #f2777a;
-  }
+Dark style from softwaremaniacs.org (c) Ivan Sagalaev <Maniac@SoftwareManiacs.Org>
 
-  .atn {
-    color: #f99157;
-  }
+*/
 
-  .atv {
-    color: #66cccc;
-  }
-
-  .dec {
-    color: #f99157;
-  }
-
-  .var {
-    color: #f2777a;
-  }
-
-  .fun {
-    color: #6699cc;
-  }
+.hljs {
+  display: block;
+  overflow-x: auto;
+  padding: 0.5em;
+  background: #444;
 }
-@media print, projection {
-  .str {
-    color: #006600;
-  }
-
-  .kwd {
-    color: #006;
-    font-weight: bold;
-  }
-
-  .com {
-    color: #600;
-    font-style: italic;
-  }
-
-  .typ {
-    color: #404;
-    font-weight: bold;
-  }
 
-  .lit {
-    color: #004444;
-  }
-
-  .pun, .opn, .clo {
-    color: #444400;
-  }
-
-  .tag {
-    color: #006;
-    font-weight: bold;
-  }
+.hljs-keyword,
+.hljs-selector-tag,
+.hljs-literal,
+.hljs-section,
+.hljs-link {
+  color: white;
+}
 
-  .atn {
-    color: #440044;
-  }
+.hljs,
+.hljs-subst {
+  color: #ddd;
+}
 
-  .atv {
-    color: #006600;
-  }
+.hljs-string,
+.hljs-title,
+.hljs-name,
+.hljs-type,
+.hljs-attribute,
+.hljs-symbol,
+.hljs-bullet,
+.hljs-built_in,
+.hljs-addition,
+.hljs-variable,
+.hljs-template-tag,
+.hljs-template-variable {
+  color: #d88;
 }
-/* Specify class=linenums on a pre to get line numbering */
-ol.linenums {
-  margin-top: 0;
-  margin-bottom: 0;
+
+.hljs-comment,
+.hljs-quote,
+.hljs-deletion,
+.hljs-meta {
+  color: #777;
 }
 
-/* IE indents via margin-left */
-li.L0,
-li.L1,
-li.L2,
-li.L3,
-li.L4,
-li.L5,
-li.L6,
-li.L7,
-li.L8,
-li.L9 {
-  /* */
+.hljs-keyword,
+.hljs-selector-tag,
+.hljs-literal,
+.hljs-title,
+.hljs-section,
+.hljs-doctag,
+.hljs-type,
+.hljs-name,
+.hljs-strong {
+  font-weight: bold;
 }
 
-/* Alternate shading for lines */
-li.L1,
-li.L3,
-li.L5,
-li.L7,
-li.L9 {
-  /* */
+.hljs-emphasis {
+  font-style: italic;
 }