diff --git a/util/gh-pages/index.html b/util/gh-pages/index.html
index 6892857af4e..0088ecc3d89 100644
--- a/util/gh-pages/index.html
+++ b/util/gh-pages/index.html
@@ -14,6 +14,9 @@
.form-inline .checkbox { margin-right: 0.6em }
+ .panel-heading { pointer: cursor; }
+ .panel-heading:hover { background-color: #eee; }
+
.panel-title { display: flex; }
.panel-title .label { display: inline-block; }