Merge "mediawiki.ui: checkbox: Fix gap between bevel and border"