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


No differences found