GroupGraph: reduce font size in tabs and buttons to match that of other widgets.