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.