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

1 files changed, 72 insertions, 114 deletions

diff --git a/stylesheets/code/light.css b/stylesheets/code/light.css
index bd91f769..f1bfade3 100755
--- a/stylesheets/code/light.css
+++ b/stylesheets/code/light.css
@@ -1,141 +1,99 @@
-/* Tomorrow Theme */
-/* Original theme - https://github.com/chriskempson/tomorrow-theme */
-.prettyprint {
-  background: white;
-  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: #4d4d4c;
-}
-
-@media screen {
-  .str {
-    color: #718c00;
-  }
+/*
 
-  .kwd {
-    color: #8959a8;
-  }
+Original highlight.js style (c) Ivan Sagalaev <maniac@softwaremaniacs.org>
 
-  .com {
-    color: #8e908c;
-  }
+*/
 
-  .typ {
-    color: #4271ae;
-  }
-
-  .lit {
-    color: #f5871f;
-  }
+.hljs {
+  display: block;
+  overflow-x: auto;
+  padding: 0.5em;
+  background: #F0F0F0;
+}
 
-  .pun {
-    color: #4d4d4c;
-  }
 
-  .opn {
-    color: #4d4d4c;
-  }
+/* Base color: saturation 0; */
 
-  .clo {
-    color: #4d4d4c;
-  }
+.hljs,
+.hljs-subst {
+  color: #444;
+}
 
-  .tag {
-    color: #c82829;
-  }
+.hljs-comment {
+  color: #888888;
+}
 
-  .atn {
-    color: #f5871f;
-  }
+.hljs-keyword,
+.hljs-attribute,
+.hljs-selector-tag,
+.hljs-meta-keyword,
+.hljs-doctag,
+.hljs-name {
+  font-weight: bold;
+}
 
-  .atv {
-    color: #3e999f;
-  }
 
-  .dec {
-    color: #f5871f;
-  }
+/* User color: hue: 0 */
 
-  .var {
-    color: #c82829;
-  }
+.hljs-type,
+.hljs-string,
+.hljs-number,
+.hljs-selector-id,
+.hljs-selector-class,
+.hljs-quote,
+.hljs-template-tag,
+.hljs-deletion {
+  color: #880000;
+}
 
-  .fun {
-    color: #4271ae;
-  }
+.hljs-title,
+.hljs-section {
+  color: #880000;
+  font-weight: bold;
 }
-@media print, projection {
-  .str {
-    color: #006600;
-  }
 
-  .kwd {
-    color: #006;
-    font-weight: bold;
-  }
+.hljs-regexp,
+.hljs-symbol,
+.hljs-variable,
+.hljs-template-variable,
+.hljs-link,
+.hljs-selector-attr,
+.hljs-selector-pseudo {
+  color: #BC6060;
+}
 
-  .com {
-    color: #600;
-    font-style: italic;
-  }
 
-  .typ {
-    color: #404;
-    font-weight: bold;
-  }
+/* Language color: hue: 90; */
 
-  .lit {
-    color: #004444;
-  }
+.hljs-literal {
+  color: #78A960;
+}
 
-  .pun, .opn, .clo {
-    color: #444400;
-  }
+.hljs-built_in,
+.hljs-bullet,
+.hljs-code,
+.hljs-addition {
+  color: #397300;
+}
 
-  .tag {
-    color: #006;
-    font-weight: bold;
-  }
 
-  .atn {
-    color: #440044;
-  }
+/* Meta color: hue: 200 */
 
-  .atv {
-    color: #006600;
-  }
+.hljs-meta {
+  color: #1f7199;
 }
-/* Specify class=linenums on a pre to get line numbering */
-ol.linenums {
-  margin-top: 0;
-  margin-bottom: 0;
+
+.hljs-meta-string {
+  color: #4d99bf;
 }
 
-/* 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 {
-  /* */
+
+/* Misc effects */
+
+.hljs-emphasis {
+  font-style: italic;
 }
 
-/* Alternate shading for lines */
-li.L1,
-li.L3,
-li.L5,
-li.L7,
-li.L9 {
-  /* */
+.hljs-strong {
+  font-weight: bold;
 }