wishlist: fix strange chars

[www-rohieb-name.git] / local.css

diff --git a/local.css b/local.css
index be51d67..3d0c9a8 100644 (file)
--- a/local.css
+++ b/local.css
@@ -2,7 +2,6 @@ pre {
   background-color: #F5F5F5;
   border: 1px dashed blue;
   padding: 0.2em;
-  font-size: 80%;
 }
 
 code {
@@ -93,3 +92,25 @@ p,ul,ol {
     vertical-align: super;
     font-size: smaller;
 }
+
+.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; }