Merge "rdbms: make getMasterPos() ignore GTIDs outside of gtid_domain_id"

[lhc/web/wiklou.git] / resources / src / oojs-ui-local.css

diff --git a/resources/src/oojs-ui-local.css b/resources/src/oojs-ui-local.css
index 57e0d8d..b98ba13 100644 (file)
--- a/resources/src/oojs-ui-local.css
+++ b/resources/src/oojs-ui-local.css
@@ -1,6 +1,8 @@
-/* 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 {
+/* HACK: Set sane font-size for OOUI dialogs (and menus/popups inside the default overlay), 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,
+.oo-ui-defaultOverlay {
        font-size: 0.8rem;
 }