jenkins-bot has submitted this change and it was merged.
Change subject: Hygiene: Whitespace fixes
......................................................................
Hygiene: Whitespace fixes
Change-Id: I6037c930d17ba38febd3a133f1c35f84312a105b
---
M less/screen-beta.less
1 file changed, 5 insertions(+), 2 deletions(-)
Approvals:
Bartosz Dziewoński: Looks good to me, approved
jenkins-bot: Verified
diff --git a/less/screen-beta.less b/less/screen-beta.less
index 7818ca4..56b7106 100644
--- a/less/screen-beta.less
+++ b/less/screen-beta.less
@@ -96,7 +96,7 @@
top: 0;
}
- &:after{
+ &:after {
content: close-quote;
font-size: 3em;
line-height: 1;
@@ -117,7 +117,10 @@
color: #333;
}
- #toc #toctitle, .toc #toctitle, #toc .toctitle, .toc .toctitle {
+ #toc #toctitle,
+ .toc #toctitle,
+ #toc .toctitle,
+ .toc .toctitle {
text-align: left;
}
--
To view, visit https://gerrit.wikimedia.org/r/111396
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I6037c930d17ba38febd3a133f1c35f84312a105b
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/VectorBeta
Gerrit-Branch: master
Gerrit-Owner: Kaldari <[email protected]>
Gerrit-Reviewer: Bartosz Dziewoński <[email protected]>
Gerrit-Reviewer: Jdlrobson <[email protected]>
Gerrit-Reviewer: Nikerabbit <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits