GUI-aesthetic changes for linux