console.log("Site Side Menu script loaded.");
function toggleSiteSideMenu() {
    let displayStyle = document.getElementById("be-site-side-menu").style.display;
    if (displayStyle === "flex") {
	document.getElementById("be-site-side-menu").style.display = "none";
    } else {
	    document.getElementById("be-site-side-menu").style.display = "flex";
	}
}