Clickable anchors for headings (#716)

See #579. This just adds an <a> tag around the heading, pointing to the
heading itself.

1 files changed, 48 insertions, 24 deletions

diff --git a/html-test/ref/Test.html b/html-test/ref/Test.html
index 4bcd2508..4006fffa 100644
--- a/html-test/ref/Test.html
+++ b/html-test/ref/Test.html
@@ -630,10 +630,14 @@
 	  ></details
 	></div
       ><div id="interface"
-      ><h1 id="g:1"
-	>Type declarations</h1
-	><h2 id="g:2"
-	>Data types</h2
+      ><a href="#" id="g:1"
+	><h1
+	  >Type declarations</h1
+	  ></a
+	><a href="#" id="g:2"
+	><h2
+	  >Data types</h2
+	  ></a
 	><div class="top"
 	><p class="src"
 	  ><span class="keyword"
@@ -1168,8 +1172,10 @@
 	      ></table
 	    ></div
 	  ></div
-	><h2 id="g:3"
-	>Records</h2
+	><a href="#" id="g:3"
+	><h2
+	  >Records</h2
+	  ></a
 	><div class="top"
 	><p class="src"
 	  ><span class="keyword"
@@ -1449,8 +1455,10 @@
 	><p
 	  >test that we can export record selectors on their own:</p
 	  ></div
-	><h1 id="g:4"
-	>Class declarations</h1
+	><a href="#" id="g:4"
+	><h1
+	  >Class declarations</h1
+	  ></a
 	><div class="top"
 	><p class="src"
 	  ><span class="keyword"
@@ -1741,8 +1749,10 @@
 	      > method</p
 	    ></div
 	  ></div
-	><h1 id="g:5"
-	>Function types</h1
+	><a href="#" id="g:5"
+	><h1
+	  >Function types</h1
+	  ></a
 	><div class="top"
 	><p class="src"
 	  ><a id="v:f" class="def"
@@ -1823,8 +1833,10 @@ using double quotes: <a href="#"
 	    >we can export foreign declarations too</p
 	    ></div
 	  ></div
-	><h1 id="g:6"
-	>Auxiliary stuff</h1
+	><a href="#" id="g:6"
+	><h1
+	  >Auxiliary stuff</h1
+	  ></a
 	><div class="doc"
 	><p
 	  >This is some documentation that is attached to a name ($aux1)
@@ -1916,8 +1928,10 @@ test2
 each line must begin with &gt; (which isn't significant unless it
 is at the beginning of the line).</pre
 	  ></div
-	><h1 id="g:7"
-	>A hidden module</h1
+	><a href="#" id="g:7"
+	><h1
+	  >A hidden module</h1
+	  ></a
 	><div class="top"
 	><p class="src"
 	  ><a id="v:hidden" class="def"
@@ -1930,8 +1944,10 @@ is at the beginning of the line).</pre
 	    >#</a
 	    ></p
 	  ></div
-	><h1 id="g:8"
-	>A visible module</h1
+	><a href="#" id="g:8"
+	><h1
+	  >A visible module</h1
+	  ></a
 	><div class="top"
 	><p class="src"
 	  >module <a href="#"
@@ -1942,8 +1958,10 @@ is at the beginning of the line).</pre
 	><p
 	  >nested-style doc comments </p
 	  ></div
-	><h1 id="g:9"
-	>Existential / Universal types</h1
+	><a href="#" id="g:9"
+	><h1
+	  >Existential / Universal types</h1
+	  ></a
 	><div class="top"
 	><p class="src"
 	  ><span class="keyword"
@@ -2002,8 +2020,10 @@ is at the beginning of the line).</pre
 	      ></table
 	    ></div
 	  ></div
-	><h1 id="g:10"
-	>Type signatures with argument docs</h1
+	><a href="#" id="g:10"
+	><h1
+	  >Type signatures with argument docs</h1
+	  ></a
 	><div class="top"
 	><p class="src"
 	  ><a id="v:k" class="def"
@@ -2224,10 +2244,14 @@ is at the beginning of the line).</pre
 	    >A foreign import with argument docs</p
 	    ></div
 	  ></div
-	><h1 id="g:11"
-	>A section</h1
-	><h2 id="g:12"
-	>A subsection</h2
+	><a href="#" id="g:11"
+	><h1
+	  >A section</h1
+	  ></a
+	><a href="#" id="g:12"
+	><h2
+	  >A subsection</h2
+	  ></a
 	><div class="doc"
 	><pre
 	  >a literal line</pre