reduce xmobar font size