TraditionalOK themes GTK3: improve titlebar section