This menu's markup is defined entirely inside an external file and fetched via Ajax, including its outermost container. With the default setting pushcontent: false, the menu overlays part of the page when it's revealed, and doesn't displace any of the page's content.