Changed Ace Editor theme to match the new CDE GUI style