jenkins-bot has submitted this change and it was merged. Change subject: Cleanup whitespace in modules/overlay/ext.echo.overlay.less ......................................................................
Cleanup whitespace in modules/overlay/ext.echo.overlay.less According to https://www.mediawiki.org/wiki/Manual:Coding_conventions/CSS#LESS Change-Id: I361909fcea67fa5e0e3cbb69711ede91417c4e2e --- M modules/overlay/ext.echo.overlay.less 1 file changed, 3 insertions(+), 0 deletions(-) Approvals: EBernhardson: Looks good to me, approved jenkins-bot: Verified diff --git a/modules/overlay/ext.echo.overlay.less b/modules/overlay/ext.echo.overlay.less index 43b5e80..8deb08d 100644 --- a/modules/overlay/ext.echo.overlay.less +++ b/modules/overlay/ext.echo.overlay.less @@ -6,6 +6,7 @@ @offset: 200px; @chevronHeight: 11px; @headerFontSize: 13px; + .mw-echo-overlay { position: absolute; top: 30px + @chevronHeight; @@ -42,6 +43,7 @@ .mw-ui-progressive { cursor: pointer; + &.mw-ui-quiet { pointer-events: none; } @@ -154,6 +156,7 @@ content: " ยท "; padding: 0 .25em; } + &:last-child { &::after { content: ''; -- To view, visit https://gerrit.wikimedia.org/r/182657 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I361909fcea67fa5e0e3cbb69711ede91417c4e2e Gerrit-PatchSet: 2 Gerrit-Project: mediawiki/extensions/Echo Gerrit-Branch: master Gerrit-Owner: Amire80 <[email protected]> Gerrit-Reviewer: EBernhardson <[email protected]> Gerrit-Reviewer: KartikMistry <[email protected]> Gerrit-Reviewer: Pginer <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
