first and foremost thanks for your post, clear walk-trough.
I have a problem with the clock, I cannot change it from 12h to 24h. I tried using the "Date and Time" in "System Settings", see attached printscreen.
to change easily the fonts size, icons visibility in desktop and some other things, I have been using "gnome-tweak-tool" which appears in
Applications -> System Tools - Preferences -> Advanced Settings
Code:sudo apt-get install gnome-tweak-tool