got rid of agda-mode
can toggle themes I like