Merge "rdbms: make getMasterPos() ignore GTIDs outside of gtid_domain_id"
[lhc/web/wiklou.git] / resources / src / oojs-ui-local.css
1 /* HACK: Set sane font-size for OOUI dialogs (and menus/popups inside the default overlay), in
2 the most common case. This should be skin's responsibility, but alas our skins tend to have the
3 weirdest font-sizes on body. This shall be removed when we make the MediaWiki skins bundled with
4 tarball sane. (T91152) */
5 body > .oo-ui-windowManager,
6 .oo-ui-defaultOverlay {
7 font-size: 0.8rem;
8 }