XWIKI-7718: Improve user profile's UI by using the vertical menu (first attempt to reach this goal).
XWIKI-7718 & XWIKI-8972 fixed.
XWIKI-7718 & XWIKI-8972: Improve user profile's UI by using the vertical menu (adding an id prefix to the vertical-menu elements + adding a translation key).
XWIKI-7718 & XWIKI-8972 fixed (some CSS improvements).
XWIKI-7718 & XWIKI-8972 fixed (some CSS improvements).
XWIKI-7718 & XWIKI-8972 fixed (some CSS improvements).
XWIKI-7718 & XWIKI-8972 fixed (some CSS improvements).
Merge pull request #130 from gdelhumeau/XWIKI-7718

XWiki 7718:  Improve user profile's UI by using the vertical menu