emacs: fixed agda colors for dark solarized