fix gtk 3.10 tab padding