diff options
author | Pierre Schmitz <pierre@archlinux.de> | 2015-12-17 09:15:42 +0100 |
---|---|---|
committer | Pierre Schmitz <pierre@archlinux.de> | 2015-12-17 09:44:51 +0100 |
commit | a1789ddde42033f1b05cc4929491214ee6e79383 (patch) | |
tree | 63615735c4ddffaaabf2428946bb26f90899f7bf /resources/src/oojs-ui-local.css | |
parent | 9e06a62f265e3a2aaabecc598d4bc617e06fa32d (diff) |
Update to MediaWiki 1.26.0
Diffstat (limited to 'resources/src/oojs-ui-local.css')
-rw-r--r-- | resources/src/oojs-ui-local.css | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/resources/src/oojs-ui-local.css b/resources/src/oojs-ui-local.css new file mode 100644 index 00000000..ab780fed --- /dev/null +++ b/resources/src/oojs-ui-local.css @@ -0,0 +1,7 @@ +/* HACK: Set sane font-size for OOjs UI dialogs, in the most common case. This should be skin's + responsibility, but alas our skins tend to have the weirdest font-sizes on body. This shall be + removed when we make the MediaWiki skins bundled with tarball sane. (T91152) */ +body > .oo-ui-windowManager { + font-size: 12.8px; + font-size: 0.8rem; +} |