summaryrefslogtreecommitdiff
path: root/roles/cgit/files/cgit-assets/highlight.css
diff options
context:
space:
mode:
authorChristian Franke <nobody@nowhere.ws>2015-08-28 15:38:36 +0200
committerChristian Franke <nobody@nowhere.ws>2015-08-28 15:38:36 +0200
commit1eb35a1e69d9a9f3f43340b9ea46d95bb2c1a0e8 (patch)
treec2f50624ccf38999896e66c9f270a96ee4cbb5cb /roles/cgit/files/cgit-assets/highlight.css
parent6474bb9964d8a57b050e597a451fa40a3e5148f0 (diff)
Add cgit role - git webfrontend
Diffstat (limited to 'roles/cgit/files/cgit-assets/highlight.css')
-rw-r--r--roles/cgit/files/cgit-assets/highlight.css19
1 files changed, 19 insertions, 0 deletions
diff --git a/roles/cgit/files/cgit-assets/highlight.css b/roles/cgit/files/cgit-assets/highlight.css
new file mode 100644
index 0000000..99af709
--- /dev/null
+++ b/roles/cgit/files/cgit-assets/highlight.css
@@ -0,0 +1,19 @@
+/* Style definition file generated by highlight 3.6, http://www.andre-simon.de/ */
+
+/* Highlighting theme: vim earendel */
+
+/* body.hl { background-color:#ffffff; } */
+pre.hl { color:#000000; background-color:#ffffff; font-size:10pt; font-family:'Courier New';}
+.hl.num { color:#a8660d; }
+.hl.esc { color:#a80d9e; }
+.hl.str { color:#a8660d; }
+.hl.pps { color:#a8660d; }
+.hl.slc { color:#558817; }
+.hl.com { color:#558817; }
+.hl.ppc { color:#0da818; }
+.hl.opt { color:#000000; }
+.hl.lin { color:#006666; }
+.hl.kwa { color:#2239a8; font-weight:bold; }
+.hl.kwb { color:#8c1d69; font-weight:bold; }
+.hl.kwc { color:#a89222; font-weight:bold; }
+.hl.kwd { color:#a8227b; }