From b31824f420c9d904ab5f46774183a59e3b86cedd Mon Sep 17 00:00:00 2001
From: Johannes Ranke <jranke@uni-bremen.de>
Date: Tue, 4 Oct 2016 08:45:23 +0200
Subject: Static documentation built using newer staticdocs::build_site()

---
 docs/css/highlight.css | 28 ++++++++++++++++++++++++++++
 1 file changed, 28 insertions(+)
 create mode 100644 docs/css/highlight.css

(limited to 'docs/css/highlight.css')

diff --git a/docs/css/highlight.css b/docs/css/highlight.css
new file mode 100644
index 0000000..cd3ead6
--- /dev/null
+++ b/docs/css/highlight.css
@@ -0,0 +1,28 @@
+/* Syntax highlighting ---------------------------------------------------- */
+
+pre .input {
+  border-left: 3px solid #ccc;
+  padding-left: 0.5em;
+}
+pre .output {
+  background-color: #eee;
+}
+
+.number {color:rgb(21,20,181);}
+.functioncall {color:#264D66 ;}
+.string {color:#375D81 ;}
+.keyword {font-weight:bolder ;color:black;}
+.argument {color:#264D66 ;}
+.comment {color: #4C886B;}
+.formalargs {color: #264D66;}
+.eqformalargs {color:#264D66;}
+.slot {font-style:italic;}
+.symbol {color:black ;}
+.prompt {color:black ;}
+
+pre img {
+  background-color: #fff;
+  border: 1px solid #ccc;
+  display: block;
+  margin: 0.5em auto 0.5em auto;
+}
-- 
cgit v1.2.1