Full threadtipsee·Maybe keep the menu open by default on desktop? Also, don't push the content when opening the menu?View on HN