A new kind of hamburger menu.