1 files changed, 13 insertions, 0 deletions
diff --git a/docs/style.css b/docs/style.css
index 3264e776..4c8eb51b 100644
--- a/docs/style.css
+++ b/docs/style.css
@@ -21,6 +21,19 @@ h1, h2, h3, h4 {
   padding-bottom: 0.1em;
   border-bottom: 0.01em solid #9995
 }
+a:link.header, a:visited.header {
+  text-decoration:none; color:inherit;
+}
+.header { position:relative; }
+.header:before {
+  position: absolute;
+  left: -0.9em;
+  content: "§";
+  opacity: 0;
+}
+.header:hover:before {
+  opacity: 0.3;
+}
 
 table {
   border-spacing: 0;