Thanks Coothead.
I noticed that opening your menu adds an entry to the browser's history. If you go back immediately by using the browser's back button, the menu closes again.
This behavior causes problems in certain cases. For instance, if after opening your menu we go to another page (which may load as a response to a click on one of the menu links), and then go back again to your opened menu (by using the browser's history button) and finally close the menu by clicking on the close button, the 'other page' is removed from the history stack and cannot be reached any more.
Also, I noticed that the animation is not absolutely smooth.
This code does not have these problems.

