+if (! isset($color) || ! is_array($color)) {
+ // Add default color theme, if theme loading fails
+ $color = array();
+ $color[0] = '#dcdcdc'; /* light gray TitleBar */
+ $color[1] = '#800000'; /* red */
+ $color[2] = '#cc0000'; /* light red Warning/Error Messages */
+ $color[4] = '#ffffff'; /* white Normal Background */
+ $color[7] = '#0000cc'; /* blue Links */
+ $color[8] = '#000000'; /* black Normal text */
+}
+