diff options
author | Johannes Ranke <jranke@uni-bremen.de> | 2016-09-27 23:00:48 +0200 |
---|---|---|
committer | Johannes Ranke <jranke@uni-bremen.de> | 2016-09-27 23:00:48 +0200 |
commit | 12a31f4c130c551f82232d9ef7dfb608bd52c53f (patch) | |
tree | 2525ab1ea4102a6edddbd0c2f03f4a851bf2f9c5 /pkg/inst/web/css/highlight.css | |
parent | 0d958ab6f84b569b5437f231c56004890c4ae23b (diff) |
Reorganise repository using standard package layout
Diffstat (limited to 'pkg/inst/web/css/highlight.css')
-rw-r--r-- | pkg/inst/web/css/highlight.css | 28 |
1 files changed, 0 insertions, 28 deletions
diff --git a/pkg/inst/web/css/highlight.css b/pkg/inst/web/css/highlight.css deleted file mode 100644 index 4b85237..0000000 --- a/pkg/inst/web/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: #333;} -.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; -} |