From 74a817992a45a6ac32775159542f276c9a134953 Mon Sep 17 00:00:00 2001 From: xFrednet Date: Wed, 19 May 2021 00:08:31 +0200 Subject: [PATCH 01/17] Minimum adaption to the new `lints.json` format --- util/gh-pages/index.html | 44 ++++++++++++++++++++++++---------------- 1 file changed, 27 insertions(+), 17 deletions(-) diff --git a/util/gh-pages/index.html b/util/gh-pages/index.html index 27ecb532dd00..1f64ea873b3d 100644 --- a/util/gh-pages/index.html +++ b/util/gh-pages/index.html @@ -31,6 +31,26 @@ .panel .panel-title-name .anchor { display: none; } .panel:hover .panel-title-name .anchor { display: inline;} + .label-lint-group { + min-width: 8em; + } + .label-lint-level { + min-width: 4em; + } + + .lint-level-allow { + background-color: #5cb85c; + } + .lint-level-warn { + background-color: #f0ad4e; + } + .lint-level-deny { + background-color: #d9534f; + } + .lint-level-deprecated { + background-color: #777777; + } +