non devi esportare niente ma salvare l'intera pagina HTML...molto probabilmente il menu che ti sei creato sarà fatto in JavaScript che "sono codici inclusi nelle pagine HTML"

PS
scusa dell'italiano ma non sono dell'umore di parlarlo correttamente...