Merge remote-tracking branch 'origin/master' into ghc-head

1 files changed, 29 insertions, 27 deletions

diff --git a/html-test/ref/B.html b/html-test/ref/B.html
index 577c7b48..12d8e907 100644
--- a/html-test/ref/B.html
+++ b/html-test/ref/B.html
@@ -39,34 +39,36 @@
 	>B</p
 	></div
       ><div id="synopsis"
-      ><p id="control.syn" class="caption expander" onclick="toggleSection('syn')"
-	>Synopsis</p
-	><ul id="section.syn" class="hide" onclick="toggleSection('syn')"
-	><li class="src short"
-	  >module <a href="#"
-	    >A</a
-	    ></li
-	  ><li class="src short"
-	  ><a href="#"
-	    >test</a
-	    > :: <a href="#"
-	    >Int</a
-	    ></li
-	  ><li class="src short"
-	  ><a href="#"
-	    >reExport</a
-	    > :: <a href="#"
-	    >Int</a
-	    ></li
+      ><details id="syn"
+	><summary
+	  >Synopsis</summary
+	  ><ul class="details-toggle" data-details-id="syn"
 	  ><li class="src short"
-	  ><span class="keyword"
-	    >data</span
-	    > <a href="#"
-	    >X</a
-	    > = <a href="#"
-	    >X</a
-	    ></li
-	  ></ul
+	    >module <a href="#"
+	      >A</a
+	      ></li
+	    ><li class="src short"
+	    ><a href="#"
+	      >test</a
+	      > :: <a href="#"
+	      >Int</a
+	      ></li
+	    ><li class="src short"
+	    ><a href="#"
+	      >reExport</a
+	      > :: <a href="#"
+	      >Int</a
+	      ></li
+	    ><li class="src short"
+	    ><span class="keyword"
+	      >data</span
+	      > <a href="#"
+	      >X</a
+	      > = <a href="#"
+	      >X</a
+	      ></li
+	    ></ul
+	  ></details
 	></div
       ><div id="interface"
       ><h1