Emacs: white theme for agda2-mode.