1 @import 'mediawiki.mixins';
4 @ooui-font-size-browser: 16; // assumed browser default of `16px`
5 @ooui-font-size-base: 0.875em; // equals `14px` at browser default of `16px`
7 @ooui-spacing-medium: 12 / @ooui-font-size-browser / @ooui-font-size-base; // equals `0.8571429em`≈`12px`
8 @ooui-spacing-large: 16 / @ooui-font-size-browser / @ooui-font-size-base; // equals `1.1428571em`≈`16px`
9 @ooui-padding-horizontal: 12 / @ooui-font-size-browser / @ooui-font-size-base;
10 @ooui-padding-vertical: 4 / @ooui-font-size-browser / @ooui-font-size-base; // equals `0.285714em`≈`4px`
12 .mw-htmlform-ooui-wrapper.oo-ui-panelLayout-padded {
13 padding: @ooui-spacing-medium @ooui-spacing-large @ooui-spacing-large;
17 line-height: 1.4; // Override MediaWiki's default of `1.6`
19 .oo-ui-fieldsetLayout-header {
20 font-size: 100%; // Override MediaWiki's generic `legend` styling
23 .oo-ui-fieldLayout.oo-ui-labelElement > .oo-ui-fieldLayout-body > .oo-ui-fieldLayout-header {
24 line-height: 16 / @ooui-font-size-browser / @ooui-font-size-base;
27 .mw-htmlform-field-HTMLCheckMatrix {
31 // Default OOUI styles produce a larger margin here
32 .mw-htmlform-field-HTMLSizeFilterField {
33 margin-top: @ooui-spacing-medium;
37 border-spacing: 0 2px;
44 padding: @ooui-padding-vertical @ooui-padding-horizontal;
46 .transition( background-color 250ms );
62 tbody tr:nth-child( even ) td {
63 background-color: #f8f9fa;
67 background-color: #eaecf0;
70 // Specificity needed because of necessary high OOUI specificity due to modularity
71 .oo-ui-fieldLayout.oo-ui-fieldLayout-align-top .oo-ui-fieldLayout-help {
75 .oo-ui-fieldLayout.oo-ui-labelElement > .oo-ui-fieldLayout-body > .oo-ui-fieldLayout-header {
81 // Flatlist styling for PHP widgets...
82 .mw-htmlform-flatlist .oo-ui-fieldLayout-align-inline,
83 // ...and for JS widgets
84 .mw-htmlform-flatlist .oo-ui-radioOptionWidget,
85 .mw-htmlform-flatlist .oo-ui-checkboxMultioptionWidget {
86 display: inline-block;
87 margin-right: @ooui-spacing-medium;
90 .mw-htmlform-ooui .htmlform-tip,
91 .mw-htmlform-ooui .mw-htmlform-submit-buttons {
92 margin-top: @ooui-spacing-medium;