function hide_side_panel()
{
    var panel = document.getElementById("panel");
    var panel_bottom = document.getElementById("panel_bottom")

    panel.style.display = "none";
    panel_bottom.style.display = "none";
}