add more bold

[lambda.git] / local.css

diff --git a/local.css b/local.css
index a1dc47e..cc7b01c 100644 (file)
--- a/local.css
+++ b/local.css
@@ -2,6 +2,22 @@
 
 /* Add local styling here, instead of modifying style.css. */
 
+.ul {
+        text-decoration: underline;
+}
+
+u, .box {
+       text-decoration: none;
+       padding: 2px;
+        border: 1px solid #000;
+}
+
+.box2 {
+       /* text-decoration: none; */
+       padding: 2px;
+        border: 3px double #000;
+}
+
 a {
        text-decoration: none;
        color: #005a9c;
@@ -120,3 +136,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 }
+ */
+