reduce xmobar height a little bit