From ec1487f0f2cef32d44b0c6ce94a6f1b4f65a79d3 Mon Sep 17 00:00:00 2001
From: Johannes Ranke <jranke@uni-bremen.de>
Date: Thu, 6 Oct 2016 08:56:45 +0200
Subject: Remove staticdocs from old location

---
 inst/web/css/highlight.css | 28 ----------------------------
 1 file changed, 28 deletions(-)
 delete mode 100644 inst/web/css/highlight.css

(limited to 'inst/web/css/highlight.css')

diff --git a/inst/web/css/highlight.css b/inst/web/css/highlight.css
deleted file mode 100644
index 4b852374..00000000
--- a/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;
-}
-- 
cgit v1.2.1