Cosmetic fix for the sub-menu panels. This still ought to be simplified some day...