Jdlrobson has submitted this change and it was merged.
Change subject: Kill dead CSS
......................................................................
Kill dead CSS
Change-Id: I2ae52a7bd5e691a95c420a3e724c283007ccf6e7
---
M less/common/mainmenu.less
M stylesheets/common/ui.css
2 files changed, 0 insertions(+), 11 deletions(-)
Approvals:
Jdlrobson: Verified; Looks good to me, approved
jenkins-bot: Checked
diff --git a/less/common/mainmenu.less b/less/common/mainmenu.less
index 4c2d5f2..71adb09 100644
--- a/less/common/mainmenu.less
+++ b/less/common/mainmenu.less
@@ -11,12 +11,6 @@
display: none; /* JS only */
}
-#mw-mf-content-left {
- height: 100%;
- border-left: solid 12px #252525;
- border-right: solid 1px black;
-}
-
#mw-mf-menu-main {
background-color: @mainMenuBackgroundColor;
list-style: none;
diff --git a/stylesheets/common/ui.css b/stylesheets/common/ui.css
index 4799376..68683a5 100644
--- a/stylesheets/common/ui.css
+++ b/stylesheets/common/ui.css
@@ -207,11 +207,6 @@
/* JS only */
}
-#mw-mf-content-left {
- height: 100%;
- border-left: solid 12px #252525;
- border-right: solid 1px black;
-}
#mw-mf-menu-main {
background-color: #4e4e4e;
list-style: none;
--
To view, visit https://gerrit.wikimedia.org/r/65312
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I2ae52a7bd5e691a95c420a3e724c283007ccf6e7
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/MobileFrontend
Gerrit-Branch: master
Gerrit-Owner: Jdlrobson <[email protected]>
Gerrit-Reviewer: Jdlrobson <[email protected]>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
