Merge branch 'anchors-redux'

1 files changed, 26 insertions, 14 deletions

diff --git a/html-test/ref/PatternSyns.html b/html-test/ref/PatternSyns.html
index 9347dfb8..ffebdf27 100644
--- a/html-test/ref/PatternSyns.html
+++ b/html-test/ref/PatternSyns.html
@@ -125,9 +125,11 @@ window.onload = function () {pageLoad();setSynopsis("mini_PatternSyns.html&
 	><p class="src"
 	  ><span class="keyword"
 	    >data</span
-	    > <a href="#" id="t:FooType" class="def"
+	    > <a id="t:FooType" class="def"
 	    >FooType</a
-	    > x</p
+	    > x <a href="#" class="selflink"
+	    >#</a
+	    ></p
 	  ><div class="doc"
 	  ><p
 	    >FooType doc</p
@@ -138,7 +140,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_PatternSyns.html&
 	    ><table
 	    ><tr
 	      ><td class="src"
-		><a href="#" id="v:FooCtor" class="def"
+		><a id="v:FooCtor" class="def"
 		  >FooCtor</a
 		  > x</td
 		><td class="doc empty"
@@ -151,13 +153,15 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_PatternSyns.html&
 	><p class="src"
 	  ><span class="keyword"
 	    >pattern</span
-	    > <a href="#" id="v:Foo" class="def"
+	    > <a id="v:Foo" class="def"
 	    >Foo</a
 	    > :: <span class="keyword"
 	    >forall</span
 	    > t. t -&gt; <a href="#"
 	    >FooType</a
-	    > t</p
+	    > t <a href="#" class="selflink"
+	    >#</a
+	    ></p
 	  ><div class="doc"
 	  ><p
 	    >Pattern synonym for <code
@@ -171,7 +175,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_PatternSyns.html&
 	><p class="src"
 	  ><span class="keyword"
 	    >pattern</span
-	    > <a href="#" id="v:Bar" class="def"
+	    > <a id="v:Bar" class="def"
 	    >Bar</a
 	    > :: <span class="keyword"
 	    >forall</span
@@ -179,7 +183,9 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_PatternSyns.html&
 	    >FooType</a
 	    > (<a href="#"
 	    >FooType</a
-	    > t)</p
+	    > t) <a href="#" class="selflink"
+	    >#</a
+	    ></p
 	  ><div class="doc"
 	  ><p
 	    >Pattern synonym for <code
@@ -193,7 +199,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_PatternSyns.html&
 	><p class="src"
 	  ><span class="keyword"
 	    >pattern</span
-	    > <a href="#" id="v::-60--45--62-" class="def"
+	    > <a id="v::-60--45--62-" class="def"
 	    >(:&lt;-&gt;)</a
 	    > :: <span class="keyword"
 	    >forall</span
@@ -203,7 +209,9 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_PatternSyns.html&
 	    >FooType</a
 	    > (<a href="#"
 	    >FooType</a
-	    > t))</p
+	    > t)) <a href="#" class="selflink"
+	    >#</a
+	    ></p
 	  ><div class="doc"
 	  ><p
 	    >Pattern synonym for (<code
@@ -217,9 +225,11 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_PatternSyns.html&
 	><p class="src"
 	  ><span class="keyword"
 	    >data</span
-	    > a <a href="#" id="t:-62--60-" class="def"
+	    > a <a id="t:-62--60-" class="def"
 	    >&gt;&lt;</a
-	    > b</p
+	    > b <a href="#" class="selflink"
+	    >#</a
+	    ></p
 	  ><div class="doc"
 	  ><p
 	    >Doc for (<code
@@ -234,7 +244,7 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_PatternSyns.html&
 	    ><table
 	    ><tr
 	      ><td class="src"
-		><a href="#" id="v:Empty" class="def"
+		><a id="v:Empty" class="def"
 		  >Empty</a
 		  ></td
 		><td class="doc empty"
@@ -247,13 +257,15 @@ window.onload = function () {pageLoad();setSynopsis(&quot;mini_PatternSyns.html&
 	><p class="src"
 	  ><span class="keyword"
 	    >pattern</span
-	    > <a href="#" id="v:E" class="def"
+	    > <a id="v:E" class="def"
 	    >E</a
 	    > :: <span class="keyword"
 	    >forall</span
 	    > k t t. <a href="#"
 	    >(&gt;&lt;)</a
-	    > k t t</p
+	    > k t t <a href="#" class="selflink"
+	    >#</a
+	    ></p
 	  ><div class="doc"
 	  ><p
 	    >Pattern for <code