From 2c65e7c83504e2bc01b493c97ff04c57a69636a0 Mon Sep 17 00:00:00 2001
From: Ivan Tham <pickfire@riseup.net>
Date: Thu, 19 Jul 2018 14:12:47 +0800
Subject: [PATCH] Improve website panel heading experience

---
 util/gh-pages/index.html | 3 +++
 1 file changed, 3 insertions(+)

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; }