if(typeof(open_mobile_nav_button) != 'undefined' && open_mobile_nav_button != null){
  open_mobile_nav_button.addEventListener("click", function(e) {
    document.body.classList.add(nav_open_class);
    mobile_nav.classList.add(visible_class);
    close_mobile_nav_button.focus();