From a2474c82fdcdc9f7351139fc2e5726f5cb7a19e4 Mon Sep 17 00:00:00 2001 From: Volker E Date: Sat, 8 Dec 2018 12:38:41 -0800 Subject: [PATCH] build: Update 'stylelint-config-wikimedia' to v0.5.0 and make pass Change-Id: I156dbb3a029696ed0ac3209be455547cd73048c3 --- package.json | 3 +-- resources/screen-common.less | 10 +++++++++- resources/screen-desktop-small.less | 1 + 3 files changed, 11 insertions(+), 3 deletions(-) diff --git a/package.json b/package.json index ff3e00e..e5a2805 100644 --- a/package.json +++ b/package.json @@ -10,7 +10,6 @@ "grunt-eslint": "21.0.0", "grunt-jsonlint": "1.1.0", "grunt-stylelint": "0.10.1", - "stylelint": "9.2.0", - "stylelint-config-wikimedia": "0.4.3" + "stylelint-config-wikimedia": "0.5.0" } } diff --git a/resources/screen-common.less b/resources/screen-common.less index 6162e44..4d0c5e4 100644 --- a/resources/screen-common.less +++ b/resources/screen-common.less @@ -42,6 +42,7 @@ body { a { color: @text-inverse; } + ul { margin: 0; } @@ -412,27 +413,35 @@ pre, h1 { font-size: 2em; } + h2 { font-size: 1.7em; } + h3 { font-size: 1.5em; } + h4 { font-size: 1.35em; } + h5 { font-size: 1.25em; } + h6 { font-size: 1.2em; } + dt { margin-top: 1em; } + dd { margin-bottom: 1em; } + .mw-changeslist-legend dd { margin-bottom: 0; } @@ -483,7 +492,6 @@ ul { .tleft { margin: 0 0.5em 0.5em 0; padding: 0 1.5em 1em 0; - } .thumbinner { diff --git a/resources/screen-desktop-small.less b/resources/screen-desktop-small.less index 4a4a4ea..d62b2aa 100644 --- a/resources/screen-desktop-small.less +++ b/resources/screen-desktop-small.less @@ -52,6 +52,7 @@ .dropdown-header(); } } + .sidebar-chunk:hover { .pokey, .sidebar-inner {