Slight improvements of GUI (margins, icons size, etc.) for OSX.
Authored by: brunoherbelin 2017-12-26
Parent: [r1521]
Child: [r1523]