[menu] Fix ie bug for the badge.
Merge branch 'codio++' of github.com:codio/site into codio++