+ if ( !isset( $color ) ) {
+ $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 */
+ }
+