adjust Settings window UI so that it looks appropriate on Linux