Il menu viene aggiunto al documento con Javascript quando il pulsante viene cliccato, quindi non sarà facilmente convertibile per funzionare su una versione del sito solo HTML.
Ecco dove viene aggiunto il pulsante, puoi vedere che ha un’azione chiamata toggleHamburger:
L’azione toggleHamburger è definita più avanti nello stesso file, qui:
toggleHamburger cambia lo stato di hamburgerVisible, quindi il menu viene infine aggiunto con panels.push(this.attach("hamburger-menu")); che puoi vedere qui: