tuning dark theme for ace editors