added path to ghci and enlarged the font a bit