3 function afterburner_process_css($css, $theme) {
5 // Set the background image for the logo
6 if (!empty($theme->settings->logo)) {
7 $logo = $theme->settings->logo;
11 $css = afterburner_set_logo($css, $logo);
14 if (!empty($theme->settings->customcss)) {
15 $customcss = $theme->settings->customcss;
19 $css = afterburner_set_customcss($css, $customcss);
24 function afterburner_set_logo($css, $logo) {
26 $tag = '[[setting:logo]]';
28 if (is_null($replacement)) {
29 $replacement = $OUTPUT->pix_url('images/logo','theme');
32 $css = str_replace($tag, $replacement, $css);
38 function afterburner_set_customcss($css, $customcss) {
39 $tag = '[[setting:customcss]]';
40 $replacement = $customcss;
41 if (is_null($replacement)) {
45 $css = str_replace($tag, $replacement, $css);