2 function brick_set_linkcolor($css, $linkcolor) {
3 $tag = '[[setting:linkcolor]]';
4 $replacement = $linkcolor;
5 if (is_null($replacement)) {
6 $replacement = '#06365b';
8 $css = str_replace($tag, $replacement, $css);
12 function brick_set_linkhover($css, $linkhover) {
13 $tag = '[[setting:linkhover]]';
14 $replacement = $linkhover;
15 if (is_null($replacement)) {
16 $replacement = '#5487ad';
18 $css = str_replace($tag, $replacement, $css);
22 function brick_set_maincolor($css, $maincolor) {
23 $tag = '[[setting:maincolor]]';
24 $replacement = $maincolor;
25 if (is_null($replacement)) {
26 $replacement = '#8e2800';
28 $css = str_replace($tag, $replacement, $css);
32 function brick_set_maincolorlink($css, $maincolorlink) {
33 $tag = '[[setting:maincolorlink]]';
34 $replacement = $maincolorlink;
35 if (is_null($replacement)) {
36 $replacement = '#fff0a5';
38 $css = str_replace($tag, $replacement, $css);
42 function brick_set_headingcolor($css, $headingcolor) {
43 $tag = '[[setting:headingcolor]]';
44 $replacement = $headingcolor;
45 if (is_null($replacement)) {
46 $replacement = '#5c3500';
48 $css = str_replace($tag, $replacement, $css);
52 function brick_set_logo($css, $logo) {
54 $tag = '[[setting:logo]]';
56 if (is_null($replacement)) {
57 $replacement = $OUTPUT->pix_url('logo', 'theme');
59 $css = str_replace($tag, $replacement, $css);
68 function brick_process_css($css, $theme) {
70 if (!empty($theme->settings
->linkcolor
)) {
71 $linkcolor = $theme->settings
->linkcolor
;
75 $css = brick_set_linkcolor($css, $linkcolor);
77 // Set the link hover color
78 if (!empty($theme->settings
->linkhover
)) {
79 $linkhover = $theme->settings
->linkhover
;
83 $css = brick_set_linkhover($css, $linkhover);
86 if (!empty($theme->settings
->maincolor
)) {
87 $maincolor = $theme->settings
->maincolor
;
91 $css = brick_set_maincolor($css, $maincolor);
93 // Set the main accent color
94 if (!empty($theme->settings
->maincolorlink
)) {
95 $maincolorlink = $theme->settings
->maincolorlink
;
97 $maincolorlink = null;
99 $css = brick_set_maincolorlink($css, $maincolorlink);
101 // Set the main headings color
102 if (!empty($theme->settings
->headingcolor
)) {
103 $headingcolor = $theme->settings
->headingcolor
;
105 $headingcolor = null;
107 $css = brick_set_headingcolor($css, $headingcolor);
109 // Set the logo image
110 if (!empty($theme->settings
->logo
)) {
111 $logo = $theme->settings
->logo
;
115 $css = brick_set_logo($css, $logo);