/*
    Closes the hamburger menu when a link is clicked.
*/
function close_menu() {
  document.getElementById("menu-controller").checked = false;
}