diff options
Diffstat (limited to 'web/highlight.css')
| -rw-r--r-- | web/highlight.css | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/web/highlight.css b/web/highlight.css deleted file mode 100644 index 0426bdf59..000000000 --- a/web/highlight.css +++ /dev/null @@ -1,20 +0,0 @@ -/* Style definition file generated by highlight 2.4.8, http://www.andre-simon.de/ */ - -/* Highlighting theme definition: */ - -body.hl { background-color:#ffffff; } -pre.hl { color:#000000; background-color:#ffffff; font-size:10pt; font-family: monospace;} -.num { color:#000000; } -.esc { color:#bd8d8b; } -.str { color:#bd8d8b; } -.dstr { color:#bd8d8b; } -.slc { color:#ac2020; font-style:italic; } -.com { color:#ac2020; font-style:italic; } -.dir { color:#000000; } -.sym { color:#000000; } -.line { color:#555555; } -.kwa { color:#9c20ee; font-weight:bold; } -.kwb { color:#208920; } -.kwc { color:#0000ff; } -.kwd { color:#000000; } - |