GUI size adjustments for linux.