summaryrefslogtreecommitdiff
path: root/public
diff options
context:
space:
mode:
authorChristian Franke <nobody@nowhere.ws>2013-05-07 02:09:05 +0200
committerChristian Franke <nobody@nowhere.ws>2013-05-07 02:09:05 +0200
commit6d713bad51e8fd66f55c9832c47c49e4cec3dbc2 (patch)
tree0d736b4183891be11a5ec8748dd9f3f2e2c745a7 /public
parentf0d5c5c56a222feed1ff53380133844e536428d0 (diff)
Some css for highlighting of code
Diffstat (limited to 'public')
-rw-r--r--public/css/sublab-2013041401.css23
1 files changed, 23 insertions, 0 deletions
diff --git a/public/css/sublab-2013041401.css b/public/css/sublab-2013041401.css
index a1dd9ce..c9027f3 100644
--- a/public/css/sublab-2013041401.css
+++ b/public/css/sublab-2013041401.css
@@ -233,6 +233,12 @@ p {
line-height: 20px;
}
+pre {
+ margin: 5px 15px 5px 15px;
+ color: #eee;
+ line-height: 20px;
+}
+
p.subtext {
color: #ddd;
line-height: 12px;
@@ -451,3 +457,20 @@ img.img {
.pagefooter {
clear: both;
}
+
+/* source highlighting */
+pre.hl { color:#eeeeee; background-color:#444444; }
+.hl.num { color:#2928ff; }
+.hl.esc { color:#ff00ff; }
+.hl.str { color:#ff0000; }
+.hl.dstr { color:#818100; }
+.hl.slc { color:#838183; font-style:italic; }
+.hl.com { color:#838183; font-style:italic; }
+.hl.dir { color:#008200; }
+.hl.sym { color:#000000; }
+.hl.line { color:#555555; }
+.hl.mark { background-color:#ffffbb; }
+.hl.kwa { color:#000000; font-weight:bold; }
+.hl.kwb { color:#830000; }
+.hl.kwc { color:#000000; font-weight:bold; }
+.hl.kwd { color:#010181; }