#65: prettify user settings menu