Add underline on hover like DrawTools and Bookmarks menus do.

nexushoratio · Jun 3, 2024 · 870f819 · 870f819
1 parent 51350e4
commit 870f819
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/plugins/explore.js b/plugins/explore.js
@@ -659,6 +659,9 @@ function setup() {
       display: block;
       width: 80%;
       margin: 10px auto;
+      &:hover {
+        text-decoration: underline;
+      }
     }
     .plugin-explore-labels {
       line-height: normal;