<?php
echo '<script src="/js/nav.js" async></script>';
echo '<div id="menu-button" class="menu-button">';
echo '<img onclick="openMenu()" src="/assets/icons/menu.png"></img>';
echo '</div>';
echo '<div id="menu" class="menu">';
echo '<button class="menuitem" onclick="openAboutPopup(),closeMenu()">Help</button>';
echo '<img onclick="closeMenu()" class="popup-close" src="/assets/icons/close-circle.png"></img>';
