Menta GTK2: reduce GtkPaned handle-size