aboutsummaryrefslogtreecommitdiff
path: root/docs/css/highlight.css
diff options
context:
space:
mode:
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 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;
+}

Contact - Imprint