From d7064dcea9ba1166002f279209b1bea18917ca19 Mon Sep 17 00:00:00 2001 From: Guillaume Gomez Date: Tue, 18 Nov 2025 14:13:10 +0100 Subject: [PATCH 1/3] Improve display of "no script" warning --- util/gh-pages/style.css | 2 ++ 1 file changed, 2 insertions(+) diff --git a/util/gh-pages/style.css b/util/gh-pages/style.css index 18bb95cf67b6..bc7fde29de8c 100644 --- a/util/gh-pages/style.css +++ b/util/gh-pages/style.css @@ -113,6 +113,7 @@ label { background: var(--bg); border: 1px solid var(--theme-popup-border); box-shadow: 0 1px 1px rgba(0,0,0,.05); + display: block; } div.panel-body { @@ -617,6 +618,7 @@ L4.75,12h2.5l0.5393066-2.1572876 c0.2276001-0.1062012,0.4459839-0.2269287,0.649 color: var(--fg); background: var(--theme-hover); border: 1px solid var(--theme-popup-border); + padding: 8px; } .page-header { border: 0; From 1e0ed3ee77e3f2cf59c298a5a37d36c222637b17 Mon Sep 17 00:00:00 2001 From: Guillaume Gomez Date: Tue, 18 Nov 2025 15:17:33 +0100 Subject: [PATCH 2/3] Remove one DOM level for filters menu --- util/gh-pages/index_template.html | 200 +++++++++++++++--------------- util/gh-pages/style.css | 26 ++-- 2 files changed, 112 insertions(+), 114 deletions(-) diff --git a/util/gh-pages/index_template.html b/util/gh-pages/index_template.html index e443baff0808..3e6342fe5c24 100644 --- a/util/gh-pages/index_template.html +++ b/util/gh-pages/index_template.html @@ -57,119 +57,117 @@

Clippy Lints Total number: {{+ count {# #} {# #}
{# #} -
{# #} - {# #} - {# #} - {# #} -
{# #} + {# #} + {# #} + {# #}
{# #}
{# #}