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);
37 function afterburner_set_customcss($css, $customcss) {
38 $tag = '[[setting:customcss]]';
39 $replacement = $customcss;
40 if (is_null($replacement)) {
44 $css = str_replace($tag, $replacement, $css);