From ddf2de1ebd4127b43dde72ab77eb444bab12de24 Mon Sep 17 00:00:00 2001
From: Roland Hieber <rohieb@rohieb.name>
Date: Fri, 22 Nov 2013 06:26:50 +0100
Subject: [PATCH] local.css: use solarized-dark theme for source highlighting

---
 local.css | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)

diff --git a/local.css b/local.css
index c10cc3f..34a1a01 100644
--- 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; }
-- 
2.20.1