diff options
Diffstat (limited to 'site/highlight.css')
| -rw-r--r-- | site/highlight.css | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/site/highlight.css b/site/highlight.css new file mode 100644 index 0000000..fd183cf --- /dev/null +++ b/site/highlight.css @@ -0,0 +1,23 @@ +/* Style definition file generated by highlight 4.18, http://andre-simon.de/ */ +/* highlight theme: Github Source View */ +body.hl { background-color:#ffffff; } +pre.hl { color:#000000; background-color:#ffffff; font-size:10pt; font-family:'Courier New',monospace; white-space: pre-wrap; } +.hl.num { color:#0086b3; } +.hl.esc { color:#183691; } +.hl.sng { color:#183691; } +.hl.pps { color:#183691; } +.hl.slc { color:#969896; } +.hl.com { color:#969896; } +.hl.ppc { color:#a71d5d; } +.hl.opt { color:#000000; } +.hl.ipl { color:#183691; } +.hl.lin { color:#b2b2b2; user-select: none;-webkit-user-select: none; } +.hl.hvr { cursor:help; } +.hl.erm { color:#ff0000; font-weight:bold; border:solid 1px red; margin-left: 3em; } +.hl.err { color:#ff0000; font-weight:bold; } +.hl.kwa { color:#a71d5d; } +.hl.kwb { color:#0086b3; } +.hl.kwc { color:#0086b3; } +.hl.kwd { color:#0086b3; } +.hl.kwe { color:#a71d5d; } +.hl.kwf { color:#38ae50; } |