GUI: Attempt a fix for GnmNotebook tabs appearance under gtk+ 3.12