Comment 1 for bug 232517

Note that the focus ring needs a few pixel at each side too. It seems Apple has skipped the focus ring altogother in some of its apps to avoid this "issue". Secondly, the borders, padding etc. is never hardcoded but is set through the option database (which needs to be incorporated into the new themeing system), so they can be changed by editing the .rdb file.