diff options
author | Andreas Gohr <andi@splitbrain.org> | 2014-02-15 11:12:55 +0100 |
---|---|---|
committer | Andreas Gohr <andi@splitbrain.org> | 2014-02-15 11:12:55 +0100 |
commit | af4684ac7612e83f2381ef2fc4146358a5a04114 (patch) | |
tree | 126698fbe874463c445e39515e1018b300007dd6 /lib/exe/css.php | |
parent | fd51614b39b1320c5723e8195f0bf69c25baaeb7 (diff) | |
download | rpg-af4684ac7612e83f2381ef2fc4146358a5a04114.tar.gz rpg-af4684ac7612e83f2381ef2fc4146358a5a04114.tar.bz2 |
move geshi highlighting to it's own LESS file
Diffstat (limited to 'lib/exe/css.php')
-rw-r--r-- | lib/exe/css.php | 4 |
1 files changed, 4 insertions, 0 deletions
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/'; |