jenkins-bot has submitted this change and it was merged.

Change subject: mediawiki.sectionAnchor: Indent with tabs
......................................................................


mediawiki.sectionAnchor: Indent with tabs

Change-Id: I3105e96c7ef95ddaf457e40c120f489427db7b86
---
M resources/src/mediawiki/mediawiki.sectionAnchor.css
M resources/src/mediawiki/mediawiki.sectionAnchor.hide.css
2 files changed, 22 insertions(+), 22 deletions(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/resources/src/mediawiki/mediawiki.sectionAnchor.css 
b/resources/src/mediawiki/mediawiki.sectionAnchor.css
index 1a8fe0a..c2a6f3a 100644
--- a/resources/src/mediawiki/mediawiki.sectionAnchor.css
+++ b/resources/src/mediawiki/mediawiki.sectionAnchor.css
@@ -1,45 +1,45 @@
 /* Anchors for section headings */
 .mw-headline-anchor {
-    font-weight: normal;
-    margin-left: -14px;
-    width: 14px;
-    filter: alpha(opacity=0);
-    opacity: 0;
-    position: absolute;
-    text-align: center;
-    text-decoration: none;
-    -moz-user-select: none;
-    -webkit-user-select: none;
-    user-select: none;
+       font-weight: normal;
+       margin-left: -14px;
+       width: 14px;
+       filter: alpha(opacity=0);
+       opacity: 0;
+       position: absolute;
+       text-align: center;
+       text-decoration: none;
+       -moz-user-select: none;
+       -webkit-user-select: none;
+       user-select: none;
 }
 
 /* @noflip */
 .mw-content-ltr .mw-headline-anchor,
 .mw-content-rtl .mw-content-ltr .mw-headline-anchor {
-    margin-left: -14px;
-    margin-right: 0;
+       margin-left: -14px;
+       margin-right: 0;
 }
 
 /* @noflip */
 .mw-content-rtl .mw-headline-anchor,
 .mw-content-ltr .mw-content-rtl .mw-headline-anchor {
-    margin-left: 0;
-    margin-right: -14px;
+       margin-left: 0;
+       margin-right: -14px;
 }
 
 .mw-headline-anchor,
 .mw-headline-anchor:visited {
-    color: #888;
+       color: #888;
 }
 
 .mw-headline-anchor:hover,
 .mw-headline-anchor:focus {
-    color: #555;
-    text-decoration: none;
+       color: #555;
+       text-decoration: none;
 }
 
 .mw-headline-anchor:active {
-    color: #000;
+       color: #000;
 }
 
 .mw-body h1:hover .mw-headline-anchor,
@@ -54,6 +54,6 @@
 .mw-body h4:focus .mw-headline-anchor,
 .mw-body h5:focus .mw-headline-anchor,
 .mw-body h6:focus .mw-headline-anchor {
-    filter: alpha(opacity=100);
-    opacity: 1;
+       filter: alpha(opacity=100);
+       opacity: 1;
 }
diff --git a/resources/src/mediawiki/mediawiki.sectionAnchor.hide.css 
b/resources/src/mediawiki/mediawiki.sectionAnchor.hide.css
index a7695cc..33443c9 100644
--- a/resources/src/mediawiki/mediawiki.sectionAnchor.hide.css
+++ b/resources/src/mediawiki/mediawiki.sectionAnchor.hide.css
@@ -1,4 +1,4 @@
 /* Hide section anchor from print media */
 .mw-headline-anchor {
-    display: none;
+       display: none;
 }

-- 
To view, visit https://gerrit.wikimedia.org/r/192728
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I3105e96c7ef95ddaf457e40c120f489427db7b86
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Bartosz DziewoƄski <[email protected]>
Gerrit-Reviewer: Jack Phoenix <[email protected]>
Gerrit-Reviewer: Legoktm <[email protected]>
Gerrit-Reviewer: jenkins-bot <>

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to