diff options
Diffstat (limited to 'public/css')
| -rw-r--r-- | public/css/sublab-2013041401.css | 23 |
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; } |