local.css: use solarized-dark theme for source highlighting

diff --git a/local.css b/local.css
index c10cc3f..34a1a01 100644 (file)
--- a/local.css
+++ b/local.css
@@ -97,3 +97,21 @@ p,ul,ol {
 .balloon li {
      margin-left: -1.5em;
 }
+
+/* Highlight plugin: use solarized-dark theme */
+/*pre.hl  { color:#93a1a1; background-color:#fdf6e3; border:none; }*/
+pre.hl  { color:#93a1a1; background-color:#002b36; border:none; }
+li.hl   { margin-bottom:-10pt; }
+.hl.num { color:#2aa198; font-weight:normal; }
+.hl.esc { color:#dc322f; font-weight:normal; }
+.hl.str { color:#dc322f; font-weight:normal; }
+.hl.pps { color:#cb4b16; font-weight:normal; }
+.hl.slc { color:#657b83; font-weight:normal; }
+.hl.com { color:#657b83; font-weight:normal; }
+.hl.ppc { color:#cb4b16; font-weight:normal; }
+.hl.opt { color:#6c71c4; font-weight:normal; }
+.hl.lin { color:#586e75; font-weight:normal; }
+.hl.kwa { color:#b58900; font-weight:normal; }
+.hl.kwb { color:#859900; font-weight:normal; }
+.hl.kwc { color:#268bd2; font-weight:normal; }
+.hl.kwd { color:#d33682; font-weight:normal; }