From f71e92733a762713dd9e83f5139cfb6a427edd33 Mon Sep 17 00:00:00 2001 From: Matt Russell Date: Tue, 23 Feb 2016 18:41:17 +1100 Subject: [PATCH] Remove mediawiki.sectionAnchor The feature was reverted in 5205405385397782b5288b429f49c9d8c97ac6c6 almost a year ago, so it's pretty safe to say this styling is unnecessary. This essentially reverts 2466e550e53309dab057ae07841175bd992bce7e. Change-Id: I88b6465d5554d334cc34893bb0acf548a5fc440b --- skin.json | 1 - skinStyles/mediawiki.sectionAnchor.less | 45 ------------------------- 2 files changed, 46 deletions(-) delete mode 100644 skinStyles/mediawiki.sectionAnchor.less diff --git a/skin.json b/skin.json index 22a219d..ebcb721 100644 --- a/skin.json +++ b/skin.json @@ -88,7 +88,6 @@ "jquery.ui.tabs": "skinStyles/jquery.ui/jquery.ui.tabs.css", "jquery.ui.tooltips": "skinStyles/jquery.ui/jquery.ui.tooltips.css", "+mediawiki.notification": "skinStyles/mediawiki.notification.less", - "+mediawiki.sectionAnchor": "skinStyles/mediawiki.sectionAnchor.less", "+oojs-ui.styles": "skinStyles/ooui.less", "mediawiki.special": "skinStyles/mediawiki.special.less", "+mediawiki.special.preferences.styles": "skinStyles/mediawiki.special.preferences.styles.less" diff --git a/skinStyles/mediawiki.sectionAnchor.less b/skinStyles/mediawiki.sectionAnchor.less deleted file mode 100644 index 6a74810..0000000 --- a/skinStyles/mediawiki.sectionAnchor.less +++ /dev/null @@ -1,45 +0,0 @@ -@media screen { - .mw-headline-anchor { - margin-left: -16px; - width: 16px; - } - - .mw-content-ltr .mw-headline-anchor, - .mw-content-rtl .mw-content-ltr .mw-headline-anchor { - /* @noflip */ - margin-left: -16px; - /* @noflip */ - margin-right: 0; - } - - .mw-content-rtl .mw-headline-anchor, - .mw-content-ltr .mw-content-rtl .mw-headline-anchor { - /* @noflip */ - margin-left: 0; - /* @noflip */ - margin-right: -16px; - } -} - -@media screen and (min-width: 982px) { - .mw-headline-anchor { - margin-left: -20px; - width: 20px; - } - - .mw-content-ltr .mw-headline-anchor, - .mw-content-rtl .mw-content-ltr .mw-headline-anchor { - /* @noflip */ - margin-left: -20px; - /* @noflip */ - margin-right: 0; - } - - .mw-content-rtl .mw-headline-anchor, - .mw-content-ltr .mw-content-rtl .mw-headline-anchor { - /* @noflip */ - margin-left: 0; - /* @noflip */ - margin-right: -20px; - } -}