diff options
author | Anika Henke <anika@selfthinker.org> | 2014-02-15 11:37:01 +0000 |
---|---|---|
committer | Anika Henke <anika@selfthinker.org> | 2014-02-15 11:37:01 +0000 |
commit | 3593102dfd174c90f99e841f66b60269bfb03be9 (patch) | |
tree | 9d6cfa85d3935eb82bde5a701f3d1884979992a1 /lib/exe/css.php | |
parent | ed5a0402d966ac5a4517ee4c6a6183d189b5fbe3 (diff) | |
download | rpg-3593102dfd174c90f99e841f66b60269bfb03be9.tar.gz rpg-3593102dfd174c90f99e841f66b60269bfb03be9.tar.bz2 |
included geshi styles per @import, removed from lib/exe/css
Diffstat (limited to 'lib/exe/css.php')
-rw-r--r-- | lib/exe/css.php | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/lib/exe/css.php b/lib/exe/css.php index 537885c89..cab7384b2 100644 --- a/lib/exe/css.php +++ b/lib/exe/css.php @@ -70,9 +70,6 @@ function css_out(){ $files[$mediatype] = array(); // load core styles $files[$mediatype][DOKU_INC.'lib/styles/'.$mediatype.'.css'] = DOKU_BASE.'lib/styles/'; - if($mediatype == 'screen') { - $files[$mediatype][DOKU_INC.'lib/styles/geshi.less'] = DOKU_BASE.'lib/styles/'; - } // load jQuery-UI theme if ($mediatype == 'screen') { |