[menu] Fix badge size
Merge branch 'codio++' of github.com:codio/site into codio++
[about] Add copy for Friedel.
[about] Style tweaks.