function toggle_menu_button(bt, st) {
    pos = bt.style.backgroundPosition.split(' ')
    ypos = st ? 0 : '-37px'
    bt.style.backgroundPosition = pos[0] + ' ' + ypos
}