Special:Preferences: Improve section grouping
authorVolker E <volker.e@wikimedia.org>
Fri, 29 Jun 2018 17:04:19 +0000 (19:04 +0200)
committerVolker E <volker.e@wikimedia.org>
Fri, 29 Jun 2018 17:09:59 +0000 (19:09 +0200)
Improving section grouping per tab/meta section by increasing
whitespace.
Also remove sub-borders in No-JS clients and unnecessary property.

Bug: T198499
Change-Id: Id28f0d9631dfb08c51bf287c0aac0c1c206ea795

resources/src/mediawiki.special.preferences.styles.ooui.css

index 4c5d344..fda049b 100644 (file)
@@ -59,7 +59,7 @@
 
 /* Adjust the borders when JS is disabled: frame each prefsection instead of the
  * whole tabLayout wrapper */
-.client-nojs #preferences .oo-ui-menuLayout .oo-ui-panelLayout-framed .oo-ui-panelLayout-framed {
+.client-nojs #preferences .oo-ui-menuLayout .oo-ui-panelLayout-framed .oo-ui-panelLayout-framed:first-child {
        border-color: #c8ccd1;
        border-width: 1px 0 0;
 }
 }
 
 .client-js #preferences .oo-ui-panelLayout-framed .oo-ui-panelLayout-framed {
-       margin-left: 0;
+       margin-top: 2.286em; /* equals `32px` at `font-size: 14px;` */
        margin-bottom: 0;
-       padding: 0;
        border-width: 0;
        border-radius: 0;
+       padding: 0;
        box-shadow: none;
 }
 
+.client-js #preferences .oo-ui-panelLayout-framed .oo-ui-panelLayout-framed:first-child {
+       margin-top: 0.85714286em;
+}
+
 .client-js #preferences > .oo-ui-panelLayout > .oo-ui-fieldsetLayout > .oo-ui-fieldsetLayout-header {
        margin-bottom: 1em;
 }