jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/357365 )
Change subject: Adjust pin layout to new OOjs UI defaults
......................................................................
Adjust pin layout to new OOjs UI defaults
Bug: T166803
Change-Id: I3153b948f3e0a069d6a9869a07e235fcbf8b9e57
---
M modules/ext.RevisionSlider.css
1 file changed, 7 insertions(+), 6 deletions(-)
Approvals:
Tobias Gritschacher: Looks good to me, approved
jenkins-bot: Verified
diff --git a/modules/ext.RevisionSlider.css b/modules/ext.RevisionSlider.css
index 32428e3..dd23e20 100644
--- a/modules/ext.RevisionSlider.css
+++ b/modules/ext.RevisionSlider.css
@@ -8,8 +8,9 @@
.mw-revslider-auto-expand-button {
position: absolute;
- top: 0;
- right: 1.875em;
+ top: 0.234375em;
+ /* default button width + default button margin ( 1.875em + 0.234375em
) */
+ right: 2.109375em;
}
.mw-revslider-button-active {
@@ -182,8 +183,8 @@
box-sizing: border-box;
min-height: 0;
min-width: 0;
- width: 1.775em;
- height: 1.775em;
+ width: 1.875em;
+ height: 1.875em;
background-color: transparent;
border: 0;
margin-top: 0.12em;
@@ -193,8 +194,8 @@
position: static;
left: auto;
top: auto;
- width: 1.775em;
- height: 1.775em;
+ width: 1.875em;
+ height: 1.875em;
}
.mw-revslider-revision-slider {
--
To view, visit https://gerrit.wikimedia.org/r/357365
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I3153b948f3e0a069d6a9869a07e235fcbf8b9e57
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/RevisionSlider
Gerrit-Branch: master
Gerrit-Owner: WMDE-Fisch <[email protected]>
Gerrit-Reviewer: Addshore <[email protected]>
Gerrit-Reviewer: Andrew-WMDE <[email protected]>
Gerrit-Reviewer: Tobias Gritschacher <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
