VolkerE has uploaded a new change for review.

  https://gerrit.wikimedia.org/r/263582

Change subject: Consolidate stray `margin` and `padding` properties
......................................................................

Consolidate stray `margin` and `padding` properties

Consolidating `margin` and `padding` properties into one
shorthand notation where useful. Also unifying `border` reset to `0`,
replacing few `none` values.

Change-Id: I81db2a4c2b7cad530fc7d5a98b8d5e1dabb645c4
---
M src/themes/mediawiki/layouts.less
M src/themes/mediawiki/tools.less
M src/themes/mediawiki/widgets.less
3 files changed, 7 insertions(+), 10 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/oojs/ui refs/changes/82/263582/1

diff --git a/src/themes/mediawiki/layouts.less 
b/src/themes/mediawiki/layouts.less
index 8202587..2bf00f8 100644
--- a/src/themes/mediawiki/layouts.less
+++ b/src/themes/mediawiki/layouts.less
@@ -58,8 +58,7 @@
                margin-bottom: 1.25em;
 
                &.oo-ui-labelElement > .oo-ui-fieldLayout-body > 
.oo-ui-labelElement-label {
-                       padding: 0.25em;
-                       padding-left: 1em;
+                       padding: 0.25em 0.25em 0.25em 1em;
                }
        }
 
@@ -110,7 +109,7 @@
 .theme-oo-ui-fieldsetLayout () {
        margin: 0;
        padding: 0;
-       border: none;
+       border: 0;
 
        + .oo-ui-fieldsetLayout,
        + .oo-ui-formLayout {
diff --git a/src/themes/mediawiki/tools.less b/src/themes/mediawiki/tools.less
index fc0b9d5..59a9430 100644
--- a/src/themes/mediawiki/tools.less
+++ b/src/themes/mediawiki/tools.less
@@ -16,7 +16,7 @@
                color: @oo-ui-toolbar-bar-text;
 
                .oo-ui-toolbar-bar {
-                       border: none;
+                       border: 0;
                        background: none;
                        box-shadow: none;
                }
diff --git a/src/themes/mediawiki/widgets.less 
b/src/themes/mediawiki/widgets.less
index c463e48..e8e8124 100644
--- a/src/themes/mediawiki/widgets.less
+++ b/src/themes/mediawiki/widgets.less
@@ -714,10 +714,9 @@
                }
 
                > .oo-ui-capsuleMultiSelectWidget-content > input {
-                       border: none;
+                       border: 0;
                        line-height: 1.675em;
-                       margin: 0;
-                       margin-left: 0.2em;
+                       margin: 0 0 0 0.2em;
                        padding: 0;
                        font-size: inherit;
                        font-family: inherit;
@@ -828,7 +827,7 @@
 
 .theme-oo-ui-optionWidget () {
        padding: 0.25em 0.5em;
-       border: none;
+       border: 0;
 
        &-highlighted {
                background-color: #eee;
@@ -911,8 +910,7 @@
        }
 
        &.oo-ui-labelElement .oo-ui-labelElement-label {
-               padding: 0.25em;
-               padding-left: 1em;
+               padding: 0.25em 0.25em 0.25em 1em;
        }
 
        .oo-ui-radioInputWidget {

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

Gerrit-MessageType: newchange
Gerrit-Change-Id: I81db2a4c2b7cad530fc7d5a98b8d5e1dabb645c4
Gerrit-PatchSet: 1
Gerrit-Project: oojs/ui
Gerrit-Branch: master
Gerrit-Owner: VolkerE <[email protected]>

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

Reply via email to