Added auctex(for work with LaTeX), changed theme, and size of font