Lines Matching refs:mediatype
49 foreach($mediatypes as $mediatype) {
50 $files[$mediatype] = array();
52 $files[$mediatype][DOKU_INC.'lib/styles/'.$mediatype.'.css'] = DOKU_BASE.'lib/styles/';
54 if ($mediatype == 'screen') {
55 …$files[$mediatype][DOKU_INC.'lib/scripts/jquery/jquery-ui-theme/smoothness.css'] = DOKU_BASE.'lib/…
58 $files[$mediatype] = array_merge($files[$mediatype], css_pluginstyles($mediatype));
60 if (isset($styleini['stylesheets'][$mediatype])) {
61 … $files[$mediatype] = array_merge($files[$mediatype], $styleini['stylesheets'][$mediatype]);
64 if(!empty($config_cascade['userstyle'][$mediatype])) {
65 foreach($config_cascade['userstyle'][$mediatype] as $userstyle) {
66 $files[$mediatype][$userstyle] = DOKU_BASE;
76 foreach ($mediatypes as $mediatype) {
79 if ($mediatype == 'screen') {
94 foreach($files[$mediatype] as $file => $location){
100 switch ($mediatype) {
476 function css_pluginstyles($mediatype='screen'){ argument
480 $list[DOKU_PLUGIN."$p/$mediatype.css"] = DOKU_BASE."lib/plugins/$p/";
481 $list[DOKU_PLUGIN."$p/$mediatype.less"] = DOKU_BASE."lib/plugins/$p/";
483 if ($mediatype=='screen') {