Minor UI tweak, so that tabs look nested