Change font, theme and show-paren-style. Also small formatting fix.