Tweaked positioning of widgets after GTK+ 3.0 Arch Linux update