Better agda-mode colors for dark background.