diff options
Diffstat (limited to 'site/highlight.css')
| -rw-r--r-- | site/highlight.css | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/site/highlight.css b/site/highlight.css deleted file mode 100644 index fd183cf..0000000 --- a/site/highlight.css +++ /dev/null @@ -1,23 +0,0 @@ -/* 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; } |