jenkins-bot has submitted this change and it was merged. Change subject: MediaWiki theme: Tweak some more border-radii ......................................................................
MediaWiki theme: Tweak some more border-radii * Set border-top-left-radius of toolbar menu dropdowns to zero, since it's aligned with the handle's border. * Bump bottom-left and bottom-right radius of menu select widget, since it was so small that it wasn't noticeable. Bug: T85973 Change-Id: I2efb2967f9c3c31d3008ffc21fc4bb2927b046c1 --- M src/themes/mediawiki/tools.less M src/themes/mediawiki/widgets.less 2 files changed, 2 insertions(+), 1 deletion(-) Approvals: Trevor Parscal: Looks good to me, approved jenkins-bot: Verified diff --git a/src/themes/mediawiki/tools.less b/src/themes/mediawiki/tools.less index 6f09c3e..7cc4706 100644 --- a/src/themes/mediawiki/tools.less +++ b/src/themes/mediawiki/tools.less @@ -226,6 +226,7 @@ padding: 0.25em 0 0.25em 0; border: 1px solid #aaa; border-radius: 0.2em; + border-top-left-radius: 0; box-shadow: inset 0 -0.2em 0 0 rgba(0,0,0,0.2), 0 0.1em 0 0 rgba(0,0,0,0.1); } diff --git a/src/themes/mediawiki/widgets.less b/src/themes/mediawiki/widgets.less index da21b65..20cbade 100644 --- a/src/themes/mediawiki/widgets.less +++ b/src/themes/mediawiki/widgets.less @@ -761,7 +761,7 @@ background: #fff; margin-top: -1px; border: solid 1px #aaa; - border-radius: 0 0 0.1em 0.1em; + border-radius: 0 0 0.2em 0.2em; padding-bottom: 0.25em; box-shadow: inset 0 -0.2em 0 0 rgba(0,0,0,0.2), 0 0.1em 0 0 rgba(0,0,0,0.2); } -- To view, visit https://gerrit.wikimedia.org/r/186080 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I2efb2967f9c3c31d3008ffc21fc4bb2927b046c1 Gerrit-PatchSet: 4 Gerrit-Project: oojs/ui Gerrit-Branch: master Gerrit-Owner: Bartosz DziewoĆski <matma....@gmail.com> Gerrit-Reviewer: Jforrester <jforres...@wikimedia.org> Gerrit-Reviewer: Trevor Parscal <tpars...@wikimedia.org> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits