3 * this will output the desired css style
10 require ('./config.inc.php');
11 header('Content-type: text/css');
12 $theme = (!empty($_COOKIE['theme']) ?
$_COOKIE['theme'] : DEFAULT_THEME
);
14 list($media) = array_keys($_GET);
19 if (!is_file(THEME_PATH
. $theme . DIRECTORY_SEPARATOR
.'_css'. DIRECTORY_SEPARATOR
.$media.'.css')) {
20 $theme = DEFAULT_THEME
;
24 $out = file_get_contents ( THEME_PATH
. $theme . DIRECTORY_SEPARATOR
.'_css'. DIRECTORY_SEPARATOR
.$media.'.css');