Minor GUI improvement (tab size & stylesheet)
Authored by: brunoherbelin 2016-10-01
Parent: [r1182]
Child: [r1184]