diff options
author | Pankajeshkr <pankajesh.kr0805@gmail.com> | 2016-03-12 15:23:20 +0530 |
---|---|---|
committer | Prateek Saxena <prtksxna@gmail.com> | 2018-07-30 08:13:45 +0530 |
commit | 5f260156afe0f0dbab0f1e61d97117f52a2f8503 (patch) | |
tree | 27cbd4cd26cfa62ba2938e1adc6bb3ce3d3c92b1 /resources/src/mediawiki.special | |
parent | 1038c1d8977478cb6431d8b24c799a810a041309 (diff) | |
download | mediawikicore-5f260156afe0f0dbab0f1e61d97117f52a2f8503.tar.gz mediawikicore-5f260156afe0f0dbab0f1e61d97117f52a2f8503.zip |
Special:NewPages: Change to use OOUI
Bug: T117739
Change-Id: I802d215374c0b5247247dd4ae2facce251e8d369
Diffstat (limited to 'resources/src/mediawiki.special')
-rw-r--r-- | resources/src/mediawiki.special/newpages.less | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/resources/src/mediawiki.special/newpages.less b/resources/src/mediawiki.special/newpages.less new file mode 100644 index 000000000000..bac0846c903e --- /dev/null +++ b/resources/src/mediawiki.special/newpages.less @@ -0,0 +1,15 @@ +/*! + * Styling for Special:NewPages + */ + +// OOUIHTMLForm styles +@ooui-font-size-browser: 16; // assumed browser default of `16px` +@ooui-font-size-base: 0.875em; // equals `14px` at browser default of `16px` + +@ooui-spacing-medium: 12 / @ooui-font-size-browser / @ooui-font-size-base; // equals `0.8571429em`≈`12px` +@ooui-spacing-large: 16 / @ooui-font-size-browser / @ooui-font-size-base; // equals `1.1428571em`≈`16px` + +.mw-htmlform-ooui .mw-htmlform-field-HTMLSizeFilterField, +.mw-htmlform-ooui .mw-htmlform-submit-buttons + div { + margin-top: @ooui-spacing-medium; +} |