HTML: insertion of menu element