Changed font size, added ghc-mod