minor improvements on dark theme for ace editor