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