From 3593102dfd174c90f99e841f66b60269bfb03be9 Mon Sep 17 00:00:00 2001
From: Anika Henke <anika@selfthinker.org>
Date: Sat, 15 Feb 2014 11:37:01 +0000
Subject: [PATCH] included geshi styles per @import, removed from lib/exe/css
---
lib/exe/css.php | 3 ---
lib/styles/screen.css | 2 ++
2 files changed, 2 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') {
diff --git a/lib/styles/screen.css b/lib/styles/screen.css
index 8822b698f..bbc1e86be 100644
--- a/lib/styles/screen.css
+++ b/lib/styles/screen.css
@@ -92,3 +92,5 @@ div.notify {
left: auto !important;
right: -99999em !important;
}
+
+@import "geshi.less";
--
GitLab