aboutsummaryrefslogtreecommitdiff
path: root/docs/css/highlight.css
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2016-09-10 05:21:52 +0200
committerJohannes Ranke <jranke@uni-bremen.de>2016-09-10 05:55:25 +0200
commita350a16bb2c11986faf5883a2804d46b03bd7c8f (patch)
tree00ca40222b1f4c9bcffca081982e006763e697d8 /docs/css/highlight.css
parent3b399df5231576880fd9e0ae7253064d82edfe86 (diff)
Static documentation rebuilt with current staticdocs
Using hadley/staticdocs commit #8c1069d from 8 days ago
Diffstat (limited to 'docs/css/highlight.css')
-rw-r--r--docs/css/highlight.css28
1 files changed, 28 insertions, 0 deletions
diff --git a/docs/css/highlight.css b/docs/css/highlight.css
new file mode 100644
index 00000000..cd3ead6f
--- /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;
+}

Contact - Imprint