/*!
- * OOjs UI v0.15.3
+ * OOjs UI v0.15.4
* https://www.mediawiki.org/wiki/OOjs_UI
*
* Copyright 2011–2016 OOjs UI Team and other contributors.
* Released under the MIT license
* http://oojs.mit-license.org
*
- * Date: 2016-02-09T21:21:21Z
+ * Date: 2016-02-17T02:03:27Z
*/
.oo-ui-element-hidden {
display: none !important;
border: 1px solid rgba(0, 0, 0, 0.1);
border-radius: 0.25em;
}
+.oo-ui-dropdownInputWidget option {
+ font-size: inherit;
+ font-family: inherit;
+ height: 1.5em;
+ padding: 0.5em 1em;
+}
.oo-ui-dropdownInputWidget.oo-ui-widget-enabled select:hover,
.oo-ui-dropdownInputWidget.oo-ui-widget-enabled select:focus {
border-color: rgba(0, 0, 0, 0.2);