*) ensure menu.border.width is set *) add menu.overlap as fallback for old parsers *) ensure theme name is in file