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)
commitad1d6542e39c8f2aa423a542bb2c34a63d4c5718
tree49460e1da9a90197ea4c0405e25cf16a70760f1c
parent93266c8d601ed91fda5ee7e1573d798905f9faaa
Special:Preferences: Improve section grouping

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