MediaWiki theme: Make PHP DropdownInputWidget look closer to JS version
- Explicitly set height for JS DropdownWidget to match the height of PHP DropdownWidget (which uses a <select>) and other widgets.
We expected to get 2.275em as 2*0.5+1.275 (2*padding+label), but the widget also has a border, which added 2*1px to the height. 'box-sizing: border-box' doesn't help if you don't actually set the desired height.
- Match 'border-radius' (although it is hardly visible).
- Add 'padding-left' to match JS label's 'margin-left'.
- Add 'vertical-align: middle', just in case.