Accept HTML output changes

22 files changed, 381 insertions, 283 deletions

diff --git a/html-test/ref/Bug26.html b/html-test/ref/Bug26.html
index 97f69317..97cf5b24 100644
--- a/html-test/ref/Bug26.html
+++ b/html-test/ref/Bug26.html
@@ -149,9 +149,11 @@
 	      ></div
 	    ></div
 	  ><div class="subs instances"
-	  ><details id="i:C" open="open"
-	    ><summary
-	      >Instances</summary
+	  ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:C"
+	    >Instances</h4
+	    ><details id="i:C" open="open"
+	    ><summary class="hide-when-js-enabled"
+	      >Instances details</summary
 	      ><table
 	      ><tr
 		><td class="src clearfix"
@@ -205,4 +207,4 @@
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/Bug294.html b/html-test/ref/Bug294.html
index 528696e6..2dfd775f 100644
--- a/html-test/ref/Bug294.html
+++ b/html-test/ref/Bug294.html
@@ -53,9 +53,11 @@
 	    >#</a
 	    ></p
 	  ><div class="subs instances"
-	  ><details id="i:A" open="open"
-	    ><summary
-	      >Instances</summary
+	  ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:A"
+	    >Instances</h4
+	    ><details id="i:A" open="open"
+	    ><summary class="hide-when-js-enabled"
+	      >Instances details</summary
 	      ><table
 	      ><tr
 		><td class="src clearfix"
@@ -191,9 +193,11 @@
 	    >#</a
 	    ></p
 	  ><div class="subs instances"
-	  ><details id="i:TP" open="open"
-	    ><summary
-	      >Instances</summary
+	  ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:TP"
+	    >Instances</h4
+	    ><details id="i:TP" open="open"
+	    ><summary class="hide-when-js-enabled"
+	      >Instances details</summary
 	      ><table
 	      ><tr
 		><td class="src clearfix"
@@ -251,9 +255,11 @@
 	    >#</a
 	    ></p
 	  ><div class="subs instances"
-	  ><details id="i:DP" open="open"
-	    ><summary
-	      >Instances</summary
+	  ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:DP"
+	    >Instances</h4
+	    ><details id="i:DP" open="open"
+	    ><summary class="hide-when-js-enabled"
+	      >Instances details</summary
 	      ><table
 	      ><tr
 		><td class="src clearfix"
@@ -311,9 +317,11 @@
 	    >#</a
 	    ></p
 	  ><div class="subs instances"
-	  ><details id="i:TO-39-" open="open"
-	    ><summary
-	      >Instances</summary
+	  ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:TO-39-"
+	    >Instances</h4
+	    ><details id="i:TO-39-" open="open"
+	    ><summary class="hide-when-js-enabled"
+	      >Instances details</summary
 	      ><table
 	      ><tr
 		><td class="src clearfix"
@@ -361,4 +369,4 @@
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/Bug387.html b/html-test/ref/Bug387.html
index ccdeb642..a6b19759 100644
--- a/html-test/ref/Bug387.html
+++ b/html-test/ref/Bug387.html
@@ -41,18 +41,20 @@
 	>Bug387</p
 	></div
       ><div id="table-of-contents"
-      ><p class="caption"
-	>Contents</p
-	><ul
-	><li
-	  ><a href="#"
-	    >Section1</a
-	    ></li
+      ><div id="contents-list"
+	><p class="caption"
+	  >Contents</p
+	  ><ul
 	  ><li
-	  ><a href="#"
-	    >Section2</a
-	    ></li
-	  ></ul
+	    ><a href="#"
+	      >Section1</a
+	      ></li
+	    ><li
+	    ><a href="#"
+	      >Section2</a
+	      ></li
+	    ></ul
+	  ></div
 	></div
       ><div id="synopsis"
       ><details id="syn"
@@ -113,4 +115,4 @@
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/Bug548.html b/html-test/ref/Bug548.html
index 8ccd244b..3778cd9e 100644
--- a/html-test/ref/Bug548.html
+++ b/html-test/ref/Bug548.html
@@ -91,9 +91,11 @@
 	      ></table
 	    ></div
 	  ><div class="subs instances"
-	  ><details id="i:WrappedArrow" open="open"
-	    ><summary
-	      >Instances</summary
+	  ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:WrappedArrow"
+	    >Instances</h4
+	    ><details id="i:WrappedArrow" open="open"
+	    ><summary class="hide-when-js-enabled"
+	      >Instances details</summary
 	      ><table
 	      ><tr
 		><td class="src clearfix"
diff --git a/html-test/ref/Bug613.html b/html-test/ref/Bug613.html
index c6876bd3..86579c88 100644
--- a/html-test/ref/Bug613.html
+++ b/html-test/ref/Bug613.html
@@ -95,9 +95,11 @@
 	      ></p
 	    ></div
 	  ><div class="subs instances"
-	  ><details id="i:Functor" open="open"
-	    ><summary
-	      >Instances</summary
+	  ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Functor"
+	    >Instances</h4
+	    ><details id="i:Functor" open="open"
+	    ><summary class="hide-when-js-enabled"
+	      >Instances details</summary
 	      ><table
 	      ><tr
 		><td class="src clearfix"
@@ -215,9 +217,11 @@
 	      ></table
 	    ></div
 	  ><div class="subs instances"
-	  ><details id="i:ThreeVars" open="open"
-	    ><summary
-	      >Instances</summary
+	  ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:ThreeVars"
+	    >Instances</h4
+	    ><details id="i:ThreeVars" open="open"
+	    ><summary class="hide-when-js-enabled"
+	      >Instances details</summary
 	      ><table
 	      ><tr
 		><td class="src clearfix"
@@ -271,4 +275,4 @@
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/Bug679.html b/html-test/ref/Bug679.html
index d0d0a69d..4a5e7154 100644
--- a/html-test/ref/Bug679.html
+++ b/html-test/ref/Bug679.html
@@ -67,9 +67,11 @@
 	      ></table
 	    ></div
 	  ><div class="subs instances"
-	  ><details id="i:Bar" open="open"
-	    ><summary
-	      >Instances</summary
+	  ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Bar"
+	    >Instances</h4
+	    ><details id="i:Bar" open="open"
+	    ><summary class="hide-when-js-enabled"
+	      >Instances details</summary
 	      ><table
 	      ><tr
 		><td class="src clearfix"
@@ -139,9 +141,11 @@
 	      ></p
 	    ></div
 	  ><div class="subs instances"
-	  ><details id="i:Foo" open="open"
-	    ><summary
-	      >Instances</summary
+	  ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Foo"
+	    >Instances</h4
+	    ><details id="i:Foo" open="open"
+	    ><summary class="hide-when-js-enabled"
+	      >Instances details</summary
 	      ><table
 	      ><tr
 		><td class="src clearfix"
@@ -195,4 +199,4 @@
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/Bug7.html b/html-test/ref/Bug7.html
index 08a87751..faeb61af 100644
--- a/html-test/ref/Bug7.html
+++ b/html-test/ref/Bug7.html
@@ -102,9 +102,11 @@
 	      ></table
 	    ></div
 	  ><div class="subs instances"
-	  ><details id="i:Foo" open="open"
-	    ><summary
-	      >Instances</summary
+	  ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Foo"
+	    >Instances</h4
+	    ><details id="i:Foo" open="open"
+	    ><summary class="hide-when-js-enabled"
+	      >Instances details</summary
 	      ><table
 	      ><tr
 		><td class="src clearfix"
@@ -156,9 +158,11 @@
 	    >The Bar class</p
 	    ></div
 	  ><div class="subs instances"
-	  ><details id="i:Bar" open="open"
-	    ><summary
-	      >Instances</summary
+	  ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Bar"
+	    >Instances</h4
+	    ><details id="i:Bar" open="open"
+	    ><summary class="hide-when-js-enabled"
+	      >Instances details</summary
 	      ><table
 	      ><tr
 		><td class="src clearfix"
@@ -202,4 +206,4 @@
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/BugExportHeadings.html b/html-test/ref/BugExportHeadings.html
index 4c2e822e..19f19778 100644
--- a/html-test/ref/BugExportHeadings.html
+++ b/html-test/ref/BugExportHeadings.html
@@ -41,34 +41,36 @@
 	>BugExportHeadings</p
 	></div
       ><div id="table-of-contents"
-      ><p class="caption"
-	>Contents</p
-	><ul
-	><li
-	  ><a href="#"
-	    >Foo</a
-	    ></li
-	  ><li
-	  ><a href="#"
-	    >Bar</a
-	    ></li
-	  ><li
-	  ><a href="#"
-	    >Baz</a
-	    ></li
-	  ><li
-	  ><a href="#"
-	    >One</a
-	    ></li
-	  ><li
-	  ><a href="#"
-	    >Two</a
-	    ></li
+      ><div id="contents-list"
+	><p class="caption"
+	  >Contents</p
+	  ><ul
 	  ><li
-	  ><a href="#"
-	    >Three</a
-	    ></li
-	  ></ul
+	    ><a href="#"
+	      >Foo</a
+	      ></li
+	    ><li
+	    ><a href="#"
+	      >Bar</a
+	      ></li
+	    ><li
+	    ><a href="#"
+	      >Baz</a
+	      ></li
+	    ><li
+	    ><a href="#"
+	      >One</a
+	      ></li
+	    ><li
+	    ><a href="#"
+	      >Two</a
+	      ></li
+	    ><li
+	    ><a href="#"
+	      >Three</a
+	      ></li
+	    ></ul
+	  ></div
 	></div
       ><div id="synopsis"
       ><details id="syn"
@@ -223,4 +225,4 @@
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/DeprecatedReExport.html b/html-test/ref/DeprecatedReExport.html
index 9b6bc3f1..a2c9b4f2 100644
--- a/html-test/ref/DeprecatedReExport.html
+++ b/html-test/ref/DeprecatedReExport.html
@@ -41,18 +41,20 @@
 	>DeprecatedReExport</p
 	></div
       ><div id="table-of-contents"
-      ><p class="caption"
-	>Contents</p
-	><ul
-	><li
-	  ><a href="#"
-	    >Re-exported from an other module</a
-	    ></li
+      ><div id="contents-list"
+	><p class="caption"
+	  >Contents</p
+	  ><ul
 	  ><li
-	  ><a href="#"
-	    >Re-exported from an other package</a
-	    ></li
-	  ></ul
+	    ><a href="#"
+	      >Re-exported from an other module</a
+	      ></li
+	    ><li
+	    ><a href="#"
+	      >Re-exported from an other package</a
+	      ></li
+	    ></ul
+	  ></div
 	></div
       ><div id="description"
       ><p class="caption"
@@ -124,4 +126,4 @@
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/Hash.html b/html-test/ref/Hash.html
index 6c489505..69afe1aa 100644
--- a/html-test/ref/Hash.html
+++ b/html-test/ref/Hash.html
@@ -41,30 +41,32 @@
 	>Hash</p
 	></div
       ><div id="table-of-contents"
-      ><p class="caption"
-	>Contents</p
-	><ul
-	><li
-	  ><a href="#"
-	    >The <code
-	      >HashTable</code
-	      > type</a
-	    ><ul
-	    ><li
-	      ><a href="#"
-		>Operations on <code
-		  >HashTable</code
-		  >s</a
-		></li
-	      ></ul
-	    ></li
+      ><div id="contents-list"
+	><p class="caption"
+	  >Contents</p
+	  ><ul
 	  ><li
-	  ><a href="#"
-	    >The <code
-	      >Hash</code
-	      > class</a
-	    ></li
-	  ></ul
+	    ><a href="#"
+	      >The <code
+		>HashTable</code
+		> type</a
+	      ><ul
+	      ><li
+		><a href="#"
+		  >Operations on <code
+		    >HashTable</code
+		    >s</a
+		  ></li
+		></ul
+	      ></li
+	    ><li
+	    ><a href="#"
+	      >The <code
+		>Hash</code
+		> class</a
+	      ></li
+	    ></ul
+	  ></div
 	></div
       ><div id="description"
       ><p class="caption"
@@ -290,9 +292,11 @@
 	      ></div
 	    ></div
 	  ><div class="subs instances"
-	  ><details id="i:Hash" open="open"
-	    ><summary
-	      >Instances</summary
+	  ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Hash"
+	    >Instances</h4
+	    ><details id="i:Hash" open="open"
+	    ><summary class="hide-when-js-enabled"
+	      >Instances details</summary
 	      ><table
 	      ><tr
 		><td class="src clearfix"
@@ -430,4 +434,4 @@
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/HiddenInstances.html b/html-test/ref/HiddenInstances.html
index 3a03d2ba..a41327e5 100644
--- a/html-test/ref/HiddenInstances.html
+++ b/html-test/ref/HiddenInstances.html
@@ -77,9 +77,11 @@
 	    >Should be visible</p
 	    ></div
 	  ><div class="subs instances"
-	  ><details id="i:VisibleClass" open="open"
-	    ><summary
-	      >Instances</summary
+	  ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:VisibleClass"
+	    >Instances</h4
+	    ><details id="i:VisibleClass" open="open"
+	    ><summary class="hide-when-js-enabled"
+	      >Instances details</summary
 	      ><table
 	      ><tr
 		><td class="src clearfix"
@@ -159,9 +161,11 @@
 	    >Should be visible</p
 	    ></div
 	  ><div class="subs instances"
-	  ><details id="i:VisibleData" open="open"
-	    ><summary
-	      >Instances</summary
+	  ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:VisibleData"
+	    >Instances</h4
+	    ><details id="i:VisibleData" open="open"
+	    ><summary class="hide-when-js-enabled"
+	      >Instances details</summary
 	      ><table
 	      ><tr
 		><td class="src clearfix"
@@ -313,4 +317,4 @@
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/HiddenInstancesB.html b/html-test/ref/HiddenInstancesB.html
index f6b4db1e..80acad2e 100644
--- a/html-test/ref/HiddenInstancesB.html
+++ b/html-test/ref/HiddenInstancesB.html
@@ -77,9 +77,11 @@
 	    >Should be visible</p
 	    ></div
 	  ><div class="subs instances"
-	  ><details id="i:Foo" open="open"
-	    ><summary
-	      >Instances</summary
+	  ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Foo"
+	    >Instances</h4
+	    ><details id="i:Foo" open="open"
+	    ><summary class="hide-when-js-enabled"
+	      >Instances details</summary
 	      ><table
 	      ><tr
 		><td class="src clearfix"
@@ -129,9 +131,11 @@
 	    >Should be visible</p
 	    ></div
 	  ><div class="subs instances"
-	  ><details id="i:Bar" open="open"
-	    ><summary
-	      >Instances</summary
+	  ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Bar"
+	    >Instances</h4
+	    ><details id="i:Bar" open="open"
+	    ><summary class="hide-when-js-enabled"
+	      >Instances details</summary
 	      ><table
 	      ><tr
 		><td class="src clearfix"
@@ -173,4 +177,4 @@
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/Instances.html b/html-test/ref/Instances.html
index e2f16a49..957adde1 100644
--- a/html-test/ref/Instances.html
+++ b/html-test/ref/Instances.html
@@ -67,9 +67,11 @@
 	      ></table
 	    ></div
 	  ><div class="subs instances"
-	  ><details id="i:-60--126--126-" open="open"
-	    ><summary
-	      >Instances</summary
+	  ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:-60--126--126-"
+	    >Instances</h4
+	    ><details id="i:-60--126--126-" open="open"
+	    ><summary class="hide-when-js-enabled"
+	      >Instances details</summary
 	      ><table
 	      ><tr
 		><td class="src clearfix"
@@ -177,9 +179,11 @@
 	      ></p
 	    ></div
 	  ><div class="subs instances"
-	  ><details id="i:Foo" open="open"
-	    ><summary
-	      >Instances</summary
+	  ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Foo"
+	    >Instances</h4
+	    ><details id="i:Foo" open="open"
+	    ><summary class="hide-when-js-enabled"
+	      >Instances details</summary
 	      ><table
 	      ><tr
 		><td class="src clearfix"
@@ -687,9 +691,11 @@
 	      ></p
 	    ></div
 	  ><div class="subs instances"
-	  ><details id="i:Bar" open="open"
-	    ><summary
-	      >Instances</summary
+	  ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Bar"
+	    >Instances</h4
+	    ><details id="i:Bar" open="open"
+	    ><summary class="hide-when-js-enabled"
+	      >Instances details</summary
 	      ><table
 	      ><tr
 		><td class="src clearfix"
@@ -1253,9 +1259,11 @@
 	      ></p
 	    ></div
 	  ><div class="subs instances"
-	  ><details id="i:Baz" open="open"
-	    ><summary
-	      >Instances</summary
+	  ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Baz"
+	    >Instances</h4
+	    ><details id="i:Baz" open="open"
+	    ><summary class="hide-when-js-enabled"
+	      >Instances details</summary
 	      ><table
 	      ><tr
 		><td class="src clearfix"
@@ -1625,9 +1633,11 @@
 	      ></table
 	    ></div
 	  ><div class="subs instances"
-	  ><details id="i:Quux" open="open"
-	    ><summary
-	      >Instances</summary
+	  ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Quux"
+	    >Instances</h4
+	    ><details id="i:Quux" open="open"
+	    ><summary class="hide-when-js-enabled"
+	      >Instances details</summary
 	      ><table
 	      ><tr
 		><td class="src clearfix"
@@ -1981,9 +1991,11 @@
 	      ></p
 	    ></div
 	  ><div class="subs instances"
-	  ><details id="i:Norf" open="open"
-	    ><summary
-	      >Instances</summary
+	  ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Norf"
+	    >Instances</h4
+	    ><details id="i:Norf" open="open"
+	    ><summary class="hide-when-js-enabled"
+	      >Instances details</summary
 	      ><table
 	      ><tr
 		><td class="src clearfix"
@@ -2139,4 +2151,4 @@
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/OrphanInstances.html b/html-test/ref/OrphanInstances.html
index d0d19e2f..d6cbcf8e 100644
--- a/html-test/ref/OrphanInstances.html
+++ b/html-test/ref/OrphanInstances.html
@@ -41,14 +41,16 @@
 	>OrphanInstances</p
 	></div
       ><div id="table-of-contents"
-      ><p class="caption"
-	>Contents</p
-	><ul
-	><li
-	  ><a href="#"
-	    >Orphan instances</a
-	    ></li
-	  ></ul
+      ><div id="contents-list"
+	><p class="caption"
+	  >Contents</p
+	  ><ul
+	  ><li
+	    ><a href="#"
+	      >Orphan instances</a
+	      ></li
+	    ></ul
+	  ></div
 	></div
       ><div id="interface"
       ><h1
@@ -105,4 +107,4 @@
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/OrphanInstancesClass.html b/html-test/ref/OrphanInstancesClass.html
index 04193c50..925f7ada 100644
--- a/html-test/ref/OrphanInstancesClass.html
+++ b/html-test/ref/OrphanInstancesClass.html
@@ -67,9 +67,11 @@
 	      ></p
 	    ></div
 	  ><div class="subs instances"
-	  ><details id="i:AClass" open="open"
-	    ><summary
-	      >Instances</summary
+	  ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:AClass"
+	    >Instances</h4
+	    ><details id="i:AClass" open="open"
+	    ><summary class="hide-when-js-enabled"
+	      >Instances details</summary
 	      ><table
 	      ><tr
 		><td class="src clearfix"
@@ -125,4 +127,4 @@
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/OrphanInstancesType.html b/html-test/ref/OrphanInstancesType.html
index 67acfcd5..7b40b3cb 100644
--- a/html-test/ref/OrphanInstancesType.html
+++ b/html-test/ref/OrphanInstancesType.html
@@ -69,9 +69,11 @@
 	      ></table
 	    ></div
 	  ><div class="subs instances"
-	  ><details id="i:AType" open="open"
-	    ><summary
-	      >Instances</summary
+	  ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:AType"
+	    >Instances</h4
+	    ><details id="i:AType" open="open"
+	    ><summary class="hide-when-js-enabled"
+	      >Instances details</summary
 	      ><table
 	      ><tr
 		><td class="src clearfix"
@@ -127,4 +129,4 @@
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/QuasiExpr.html b/html-test/ref/QuasiExpr.html
index 88f1b92c..3c1aff57 100644
--- a/html-test/ref/QuasiExpr.html
+++ b/html-test/ref/QuasiExpr.html
@@ -103,9 +103,11 @@
 	      ></table
 	    ></div
 	  ><div class="subs instances"
-	  ><details id="i:Expr" open="open"
-	    ><summary
-	      >Instances</summary
+	  ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Expr"
+	    >Instances</h4
+	    ><details id="i:Expr" open="open"
+	    ><summary class="hide-when-js-enabled"
+	      >Instances details</summary
 	      ><table
 	      ><tr
 		><td class="src clearfix"
@@ -223,9 +225,11 @@
 	      ></table
 	    ></div
 	  ><div class="subs instances"
-	  ><details id="i:BinOp" open="open"
-	    ><summary
-	      >Instances</summary
+	  ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:BinOp"
+	    >Instances</h4
+	    ><details id="i:BinOp" open="open"
+	    ><summary class="hide-when-js-enabled"
+	      >Instances details</summary
 	      ><table
 	      ><tr
 		><td class="src clearfix"
@@ -337,4 +341,4 @@
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/SpuriousSuperclassConstraints.html b/html-test/ref/SpuriousSuperclassConstraints.html
index 17c026d1..61841f06 100644
--- a/html-test/ref/SpuriousSuperclassConstraints.html
+++ b/html-test/ref/SpuriousSuperclassConstraints.html
@@ -79,9 +79,11 @@ Fix spurious superclass constraints bug.</pre
 	    >#</a
 	    ></p
 	  ><div class="subs instances"
-	  ><details id="i:SomeType" open="open"
-	    ><summary
-	      >Instances</summary
+	  ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:SomeType"
+	    >Instances</h4
+	    ><details id="i:SomeType" open="open"
+	    ><summary class="hide-when-js-enabled"
+	      >Instances details</summary
 	      ><table
 	      ><tr
 		><td class="src clearfix"
@@ -235,4 +237,4 @@ Fix spurious superclass constraints bug.</pre
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/Test.html b/html-test/ref/Test.html
index 5cdee91e..b7f93128 100644
--- a/html-test/ref/Test.html
+++ b/html-test/ref/Test.html
@@ -71,62 +71,64 @@
 	>Test</p
 	></div
       ><div id="table-of-contents"
-      ><p class="caption"
-	>Contents</p
-	><ul
-	><li
-	  ><a href="#"
-	    >Type declarations</a
-	    ><ul
-	    ><li
-	      ><a href="#"
-		>Data types</a
-		></li
-	      ><li
-	      ><a href="#"
-		>Records</a
-		></li
-	      ></ul
-	    ></li
-	  ><li
-	  ><a href="#"
-	    >Class declarations</a
-	    ></li
-	  ><li
-	  ><a href="#"
-	    >Function types</a
-	    ></li
-	  ><li
-	  ><a href="#"
-	    >Auxiliary stuff</a
-	    ></li
-	  ><li
-	  ><a href="#"
-	    >A hidden module</a
-	    ></li
-	  ><li
-	  ><a href="#"
-	    >A visible module</a
-	    ></li
-	  ><li
-	  ><a href="#"
-	    >Existential / Universal types</a
-	    ></li
-	  ><li
-	  ><a href="#"
-	    >Type signatures with argument docs</a
-	    ></li
+      ><div id="contents-list"
+	><p class="caption"
+	  >Contents</p
+	  ><ul
 	  ><li
-	  ><a href="#"
-	    >A section</a
-	    ><ul
+	    ><a href="#"
+	      >Type declarations</a
+	      ><ul
+	      ><li
+		><a href="#"
+		  >Data types</a
+		  ></li
+		><li
+		><a href="#"
+		  >Records</a
+		  ></li
+		></ul
+	      ></li
 	    ><li
-	      ><a href="#"
-		>A subsection</a
-		></li
-	      ></ul
-	    ></li
-	  ></ul
+	    ><a href="#"
+	      >Class declarations</a
+	      ></li
+	    ><li
+	    ><a href="#"
+	      >Function types</a
+	      ></li
+	    ><li
+	    ><a href="#"
+	      >Auxiliary stuff</a
+	      ></li
+	    ><li
+	    ><a href="#"
+	      >A hidden module</a
+	      ></li
+	    ><li
+	    ><a href="#"
+	      >A visible module</a
+	      ></li
+	    ><li
+	    ><a href="#"
+	      >Existential / Universal types</a
+	      ></li
+	    ><li
+	    ><a href="#"
+	      >Type signatures with argument docs</a
+	      ></li
+	    ><li
+	    ><a href="#"
+	      >A section</a
+	      ><ul
+	      ><li
+		><a href="#"
+		  >A subsection</a
+		  ></li
+		></ul
+	      ></li
+	    ></ul
+	  ></div
 	></div
       ><div id="description"
       ><p class="caption"
@@ -1653,9 +1655,11 @@
 	      ></p
 	    ></div
 	  ><div class="subs instances"
-	  ><details id="i:D" open="open"
-	    ><summary
-	      >Instances</summary
+	  ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:D"
+	    >Instances</h4
+	    ><details id="i:D" open="open"
+	    ><summary class="hide-when-js-enabled"
+	      >Instances details</summary
 	      ><table
 	      ><tr
 		><td class="src clearfix"
@@ -2393,4 +2397,4 @@ is at the beginning of the line).</pre
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/TypeFamilies.html b/html-test/ref/TypeFamilies.html
index 35f9e542..d31e9f7b 100644
--- a/html-test/ref/TypeFamilies.html
+++ b/html-test/ref/TypeFamilies.html
@@ -211,9 +211,11 @@
 	      ></table
 	    ></div
 	  ><div class="subs instances"
-	  ><details id="i:X" open="open"
-	    ><summary
-	      >Instances</summary
+	  ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:X"
+	    >Instances</h4
+	    ><details id="i:X" open="open"
+	    ><summary class="hide-when-js-enabled"
+	      >Instances details</summary
 	      ><table
 	      ><tr
 		><td class="src clearfix"
@@ -673,9 +675,11 @@
 	    >Doc for: data Y</p
 	    ></div
 	  ><div class="subs instances"
-	  ><details id="i:Y" open="open"
-	    ><summary
-	      >Instances</summary
+	  ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Y"
+	    >Instances</h4
+	    ><details id="i:Y" open="open"
+	    ><summary class="hide-when-js-enabled"
+	      >Instances details</summary
 	      ><table
 	      ><tr
 		><td class="src clearfix"
@@ -1053,9 +1057,11 @@
 	      ></table
 	    ></div
 	  ><div class="subs instances"
-	  ><details id="i:Z" open="open"
-	    ><summary
-	      >Instances</summary
+	  ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Z"
+	    >Instances</h4
+	    ><details id="i:Z" open="open"
+	    ><summary class="hide-when-js-enabled"
+	      >Instances details</summary
 	      ><table
 	      ><tr
 		><td class="src clearfix"
@@ -1145,9 +1151,11 @@
 	    >Doc for: class Test a</p
 	    ></div
 	  ><div class="subs instances"
-	  ><details id="i:Test" open="open"
-	    ><summary
-	      >Instances</summary
+	  ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Test"
+	    >Instances</h4
+	    ><details id="i:Test" open="open"
+	    ><summary class="hide-when-js-enabled"
+	      >Instances details</summary
 	      ><table
 	      ><tr
 		><td class="src clearfix"
@@ -1227,9 +1235,11 @@
 	    >Doc for: type family Foo a</p
 	    ></div
 	  ><div class="subs instances"
-	  ><details id="i:Foo" open="open"
-	    ><summary
-	      >Instances</summary
+	  ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Foo"
+	    >Instances</h4
+	    ><details id="i:Foo" open="open"
+	    ><summary class="hide-when-js-enabled"
+	      >Instances details</summary
 	      ><table
 	      ><tr
 		><td class="src clearfix"
@@ -1333,9 +1343,11 @@
 	    >Doc for: data family Bat a</p
 	    ></div
 	  ><div class="subs instances"
-	  ><details id="i:Bat" open="open"
-	    ><summary
-	      >Instances</summary
+	  ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Bat"
+	    >Instances</h4
+	    ><details id="i:Bat" open="open"
+	    ><summary class="hide-when-js-enabled"
+	      >Instances details</summary
 	      ><table
 	      ><tr
 		><td class="src clearfix"
@@ -1563,9 +1575,11 @@
 	      ></div
 	    ></div
 	  ><div class="subs instances"
-	  ><details id="i:Assoc" open="open"
-	    ><summary
-	      >Instances</summary
+	  ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Assoc"
+	    >Instances</h4
+	    ><details id="i:Assoc" open="open"
+	    ><summary class="hide-when-js-enabled"
+	      >Instances details</summary
 	      ><table
 	      ><tr
 		><td class="src clearfix"
@@ -1741,9 +1755,11 @@
 	    >#</a
 	    ></p
 	  ><div class="subs instances"
-	  ><details id="i:-60--62-" open="open"
-	    ><summary
-	      >Instances</summary
+	  ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:-60--62-"
+	    >Instances</h4
+	    ><details id="i:-60--62-" open="open"
+	    ><summary class="hide-when-js-enabled"
+	      >Instances details</summary
 	      ><table
 	      ><tr
 		><td class="src clearfix"
@@ -1889,9 +1905,11 @@
 	    >#</a
 	    ></p
 	  ><div class="subs instances"
-	  ><details id="i:-62--60-" open="open"
-	    ><summary
-	      >Instances</summary
+	  ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:-62--60-"
+	    >Instances</h4
+	    ><details id="i:-62--60-" open="open"
+	    ><summary class="hide-when-js-enabled"
+	      >Instances details</summary
 	      ><table
 	      ><tr
 		><td class="src clearfix"
@@ -1933,4 +1951,4 @@
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/TypeFamilies2.html b/html-test/ref/TypeFamilies2.html
index 4c6fcc74..a60ce077 100644
--- a/html-test/ref/TypeFamilies2.html
+++ b/html-test/ref/TypeFamilies2.html
@@ -83,9 +83,11 @@
 	    >Exported type</p
 	    ></div
 	  ><div class="subs instances"
-	  ><details id="i:W" open="open"
-	    ><summary
-	      >Instances</summary
+	  ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:W"
+	    >Instances</h4
+	    ><details id="i:W" open="open"
+	    ><summary class="hide-when-js-enabled"
+	      >Instances details</summary
 	      ><table
 	      ><tr
 		><td class="src clearfix"
@@ -187,9 +189,11 @@
 	    >Exported type family</p
 	    ></div
 	  ><div class="subs instances"
-	  ><details id="i:Foo" open="open"
-	    ><summary
-	      >Instances</summary
+	  ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Foo"
+	    >Instances</h4
+	    ><details id="i:Foo" open="open"
+	    ><summary class="hide-when-js-enabled"
+	      >Instances details</summary
 	      ><table
 	      ><tr
 		><td class="src clearfix"
@@ -291,9 +295,11 @@
 	    >Exported data family</p
 	    ></div
 	  ><div class="subs instances"
-	  ><details id="i:Bar" open="open"
-	    ><summary
-	      >Instances</summary
+	  ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Bar"
+	    >Instances</h4
+	    ><details id="i:Bar" open="open"
+	    ><summary class="hide-when-js-enabled"
+	      >Instances details</summary
 	      ><table
 	      ><tr
 		><td class="src clearfix"
@@ -385,4 +391,4 @@
     ></div
     ></body
   ></html
->
+>
\ No newline at end of file
diff --git a/html-test/ref/TypeFamilies3.html b/html-test/ref/TypeFamilies3.html
index fa270191..a7e60ce1 100644
--- a/html-test/ref/TypeFamilies3.html
+++ b/html-test/ref/TypeFamilies3.html
@@ -125,9 +125,11 @@
 	    >An open family</p
 	    ></div
 	  ><div class="subs instances"
-	  ><details id="i:Bar" open="open"
-	    ><summary
-	      >Instances</summary
+	  ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Bar"
+	    >Instances</h4
+	    ><details id="i:Bar" open="open"
+	    ><summary class="hide-when-js-enabled"
+	      >Instances details</summary
 	      ><table
 	      ><tr
 		><td class="src clearfix"
@@ -221,9 +223,11 @@
 	    >A data family</p
 	    ></div
 	  ><div class="subs instances"
-	  ><details id="i:Baz" open="open"
-	    ><summary
-	      >Instances</summary
+	  ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Baz"
+	    >Instances</h4
+	    ><details id="i:Baz" open="open"
+	    ><summary class="hide-when-js-enabled"
+	      >Instances details</summary
 	      ><table
 	      ><tr
 		><td class="src clearfix"