preferences.js, mainWindow.js: fix the preferences dialog styling