X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=local.css;h=0e0ab89c2566e558c31c901fb275af4f0210fd90;hp=a1dc47e92e1af04827055ae287c0e235bb0e046a;hb=39db6d0abfc0f9606c1b38b3b21b4232cad3a6e2;hpb=cd4f37fa020e0ddf0951e9a4f921658f88fa37e3

diff --git a/local.css b/local.css
index a1dc47e9..0e0ab89c 100644
--- a/local.css
+++ b/local.css
@@ -120,3 +120,75 @@ div.recentchanges {
 .pagecloud {
 	width: auto;
 }
+
+
+/* http://johnmacfarlane.net/highlighting-kate/hk-kate.css */
+/* Based on kate's own default colors for Haskell */
+table.sourceCode, tr.sourceCode, td.lineNumbers, td.sourceCode, table.sourceCode pre
+   { margin: 0; padding: 0; border: 0; vertical-align: baseline; border: none; }
+td.lineNumbers { text-align: right; background-color: #EBEBEB; color: black; padding-right: 5px; padding-left: 5px; }
+td.sourceCode { padding-left: 5px; }
+pre.sourceCode { }
+pre.sourceCode span.kw { font-weight: bold; }  /* Keyword */
+pre.sourceCode span.dt { color: #800000; } /* Keyword.Type */
+pre.sourceCode span.dv { color: #0000FF; } /* Literal.Number.Integer */
+pre.sourceCode span.bn { color: #0000FF; } /* Literal.Number.Hex */
+pre.sourceCode span.fl { color: #800080; } /* Literal.Number.Float */
+pre.sourceCode span.ch { color: #FF00FF; } /* Literal.String.Char */
+pre.sourceCode span.st { color: #DD0000; } /* Literal.String */
+pre.sourceCode span.co { color: #808080; font-style: italic; } /* Comment */
+pre.sourceCode span.ot { } /* Comment.Preproc */
+pre.sourceCode span.al { color: green; font-weight: bold; } /* Generic.Error */
+pre.sourceCode span.fu { color: #000080; } /* Name.Function */
+pre.sourceCode span.re { }
+pre.sourceCode span.er { color: red; font-weight: bold; } /* Error */
+
+
+
+/* http://johnmacfarlane.net/highlighting-kate/hk-pyg.css
+/- Loosely based on pygment's default colors -/
+table.sourceCode, tr.sourceCode, td.lineNumbers, td.sourceCode, table.sourceCode pre
+   { margin: 0; padding: 0; border: 0; vertical-align: baseline; border: none; }
+td.lineNumbers { border-right: 1px solid #AAAAAA; text-align: right; color: #AAAAAA; padding-right: 5px; padding-left: 5px; }
+td.sourceCode { padding-left: 5px; }
+pre.sourceCode { }
+pre.sourceCode span.kw { color: #007020; font-weight: bold; }
+pre.sourceCode span.dt { color: #902000; }
+pre.sourceCode span.dv { color: #40a070; }
+pre.sourceCode span.bn { color: #40a070; }
+pre.sourceCode span.fl { color: #40a070; }
+pre.sourceCode span.ch { color: #4070a0; }
+pre.sourceCode span.st { color: #4070a0; }
+pre.sourceCode span.co { color: #60a0b0; font-style: italic; }
+pre.sourceCode span.ot { color: #007020; }
+pre.sourceCode span.al { color: red; font-weight: bold; }
+pre.sourceCode span.fu { color: #06287e; }
+pre.sourceCode span.re { }
+pre.sourceCode span.er { color: red; font-weight: bold; }
+ */
+
+
+/*
+/- Loosely based on pygment's tango colors -/
+table.sourceCode, tr.sourceCode, td.sourceCode, table.sourceCode pre
+   { margin: 0; padding: 0; border: 0; vertical-align: baseline; border: none; background-color: #f8f8f8 }
+td.nums { text-align: right; padding-right: 5px; padding-left: 5px; background-color: #f0f0f0; }
+td.sourceCode { padding-left: 5px; }
+code.sourceCode { background-color: #f8f8f8; }
+pre.sourceCode { background-color: #f8f8f8; line-height: 125% }
+td.nums pre { background-color: #f0f0f0; line-height: 125% }
+code.sourceCode span.kw { color: #204a87; font-weight: bold }
+code.sourceCode span.dt { color: #204a87 }
+code.sourceCode span.dv { color: #0000cf }
+code.sourceCode span.bn { color: #0000cf }
+code.sourceCode span.fl { color: #0000cf }
+code.sourceCode span.ch { color: #4e9a06 }
+code.sourceCode span.st { color: #4e9a06 }
+code.sourceCode span.co { color: #8f5902; font-style: italic }
+code.sourceCode span.ot { color: #8f5902 }
+code.sourceCode span.al { color: #ef2929 }
+code.sourceCode span.fu { color: #000000 }
+code.sourceCode span.re { }
+code.sourceCode span.er { color: #a40000; border: 1px solid #ef2929 }
+ */
+