From af4684ac7612e83f2381ef2fc4146358a5a04114 Mon Sep 17 00:00:00 2001
From: Andreas Gohr <andi@splitbrain.org>
Date: Sat, 15 Feb 2014 11:12:55 +0100
Subject: move geshi highlighting to it's own LESS file

---
 lib/exe/css.php | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'lib/exe')

diff --git a/lib/exe/css.php b/lib/exe/css.php
index f273b7ee4..537885c89 100644
--- a/lib/exe/css.php
+++ b/lib/exe/css.php
@@ -70,6 +70,10 @@ 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') {
             $files[$mediatype][DOKU_INC.'lib/scripts/jquery/jquery-ui-theme/smoothness.css'] = DOKU_BASE.'lib/scripts/jquery/jquery-ui-theme/';
-- 
cgit v1.2.3