/* Original color.php returned an under-maintenance HTML page; replaced with empty CSS. */