diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/exe/css.php | 3 | ||||
| -rw-r--r-- | 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"; |