/* Mobile navigation overlay is controlled by styles.css and navbar.js */