Jdlrobson has uploaded a new change for review.
https://gerrit.wikimedia.org/r/72146
Change subject: Blindly remove simple, opera mini and opera mobile stylesheets
......................................................................
Blindly remove simple, opera mini and opera mobile stylesheets
Who knows what these undocumented rules are here for
Nothing looks vital in these
Change-Id: I9971836cbcea2f9a4c7b2857dcb881fa75386ed5
---
D stylesheets/devices/operamini.css
D stylesheets/devices/operamobile.css
D stylesheets/devices/simple.css
3 files changed, 0 insertions(+), 64 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/MobileFrontend
refs/changes/46/72146/1
diff --git a/stylesheets/devices/operamini.css
b/stylesheets/devices/operamini.css
deleted file mode 100644
index a031b6a..0000000
--- a/stylesheets/devices/operamini.css
+++ /dev/null
@@ -1,27 +0,0 @@
-.header {
- padding-top: 9px !important;
-}
-
-table { /* table[style] not supported */
- float: none !important;
- margin-left: 0 !important;
- width: 100% !important;
- overflow: auto;
-}
-
-.mwm-notice {
- text-align: left;
-}
-
-.mwm-message.mwm-notice {
- display: none;
-}
-
-a.arrow {
- float: right;
- margin-right: 5px;
-}
-
-span.idx {
- display: none;
-}
diff --git a/stylesheets/devices/operamobile.css
b/stylesheets/devices/operamobile.css
deleted file mode 100644
index 0fe711c..0000000
--- a/stylesheets/devices/operamobile.css
+++ /dev/null
@@ -1,7 +0,0 @@
-table {
- overflow-y: scroll;
-}
-
-tbody {
- height: 200px;
-}
diff --git a/stylesheets/devices/simple.css b/stylesheets/devices/simple.css
deleted file mode 100644
index 138180d..0000000
--- a/stylesheets/devices/simple.css
+++ /dev/null
@@ -1,30 +0,0 @@
-.header,
-#footer,
-#content_wrapper {
- margin: 0 2px;
-}
-
-/* TODO: duplicate see psp.css */
-.nav {
- border: 0;
- border-bottom: 2px solid #6d84b4;
- border-top: 2px solid #6d84b4;
- height: auto;
- clear: both;
- padding: 5px 0 5px 0;
- margin: 0;
-}
-
-.mwm-notice {
- text-align: left;
-}
-
-.mwm-message.mwm-notice {
- display: none;
-}
-
-a.arrow {
- float: right;
- margin-right: 5px;
-}
-
--
To view, visit https://gerrit.wikimedia.org/r/72146
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I9971836cbcea2f9a4c7b2857dcb881fa75386ed5
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/MobileFrontend
Gerrit-Branch: master
Gerrit-Owner: Jdlrobson <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
