diff options
author | Johannes Ranke <jranke@uni-bremen.de> | 2016-10-04 08:45:23 +0200 |
---|---|---|
committer | Johannes Ranke <jranke@uni-bremen.de> | 2016-10-04 08:45:23 +0200 |
commit | b31824f420c9d904ab5f46774183a59e3b86cedd (patch) | |
tree | 87737278e9a14202a07c4110cd62684807f96062 /docs/css/highlight.css | |
parent | 17ef63f22008c80998cb2690a40ad1238d06a400 (diff) |
Static documentation built using newer staticdocs::build_site()
Diffstat (limited to 'docs/css/highlight.css')
-rw-r--r-- | docs/css/highlight.css | 28 |
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; +} |