Cancel the timer to remove the border of the hamburger menu panel after the closing animation, if the menu is closed and immediately reopened by double-clicking the hamburger button.
check-in: c73deeb6 user: florian tags: js-hamburger-menu