Doc: Hid permalinks to table captions.

1eecd9bd · Emmanuel Bertin · 3bb5dee5 · 1eecd9bd
Commit 1eecd9bd authored Dec 20, 2017 by Emmanuel Bertin
--- a/doc/theme/css/custom.css
+++ b/doc/theme/css/custom.css
@@ -83,3 +83,12 @@ span[id*="MathJax-Span"] {
 	font-size: 116%;
 }

+/* Hide permalinks on captions */
+caption a.headerlink {
+	visibility: hidden;
+}
+
+caption:hover a.headerlink {
+	visibility: visible;
+}
+