diff options
| -rw-r--r-- | web/highlight.css | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/web/highlight.css b/web/highlight.css new file mode 100644 index 000000000..0426bdf59 --- /dev/null +++ b/web/highlight.css @@ -0,0 +1,20 @@ +/* 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; } + |