Smaller status bar

It seems that since gtk+ 3.10, the status bar is bigger.