function expandTopbar() {
    var bar = document.getElementById('topbar');
    bar.style.top = "-1px";
}

function retractTopbar() {
    var bar = document.getElementById('topbar');
    bar.style.top = "-40px";
}
