[Bug 973539] New: No scroll-bar under gnome 3.20, and inconsistent theme