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, 0 insertions, 28 deletions
diff --git a/docs/css/highlight.css b/docs/css/highlight.css
deleted file mode 100644
index cd3ead6f..00000000
--- a/docs/css/highlight.css
+++ /dev/null
@@ -1,28 +0,0 @@
-/* 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