{# #}
diff --git a/util/gh-pages/style.css b/util/gh-pages/style.css
index 3cc7a919c23a..046a2a5df7c4 100644
--- a/util/gh-pages/style.css
+++ b/util/gh-pages/style.css
@@ -50,8 +50,23 @@ div.panel div.panel-body button.open {
.panel-heading { cursor: pointer; }
-.panel-title { display: flex; flex-wrap: wrap;}
-.panel-title .label { display: inline-block; }
+.lint-title {
+ cursor: pointer;
+ margin-top: 0;
+ margin-bottom: 0;
+ font-size: 16px;
+ display: flex;
+ flex-wrap: wrap;
+ background: var(--theme-hover);
+ color: var(--fg);
+ border: 1px solid var(--theme-popup-border);
+ padding: 10px 15px;
+ border-top-left-radius: 3px;
+ border-top-right-radius: 3px;
+ gap: 4px;
+}
+
+.lint-title .label { display: inline-block; }
.panel-title-name { flex: 1; min-width: 400px;}
.panel-title-name span { vertical-align: bottom; }