Fix wrong #navigator-toolbox[tabsontop="false"]
(draft for #3)