Preferences: unintentional changes to UI file
Commit f2061e94 seems to have included several unintentional changes to the UI file. First, it removes the border-width
property from the box which results in a padding around the content of the window. Secondly, it removes the accessible-role
properties which only got added a few months ago in commit 8c9203d6. The latter seems to be due to bug 794518.