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

1 files changed, 39 insertions, 37 deletions

diff --git a/html-test/ref/A.html b/html-test/ref/A.html
index 094455f8..1fbfb371 100644
--- a/html-test/ref/A.html
+++ b/html-test/ref/A.html
@@ -39,44 +39,46 @@
 	>A</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"
-	  ><span class="keyword"
-	    >data</span
-	    > <a href="#"
-	    >A</a
-	    > = <a href="#"
-	    >A</a
-	    ></li
-	  ><li class="src short"
-	  ><a href="#"
-	    >other</a
-	    > :: <a href="#"
-	    >Int</a
-	    ></li
-	  ><li class="src short"
-	  ><a href="#"
-	    >test2</a
-	    > :: <a href="#"
-	    >Bool</a
-	    ></li
-	  ><li class="src short"
-	  ><span class="keyword"
-	    >data</span
-	    > <a href="#"
-	    >X</a
-	    > = <a href="#"
-	    >X</a
-	    ></li
+      ><details id="syn"
+	><summary
+	  >Synopsis</summary
+	  ><ul class="details-toggle" data-details-id="syn"
 	  ><li class="src short"
-	  ><a href="#"
-	    >reExport</a
-	    > :: <a href="#"
-	    >Int</a
-	    ></li
-	  ></ul
+	    ><span class="keyword"
+	      >data</span
+	      > <a href="#"
+	      >A</a
+	      > = <a href="#"
+	      >A</a
+	      ></li
+	    ><li class="src short"
+	    ><a href="#"
+	      >other</a
+	      > :: <a href="#"
+	      >Int</a
+	      ></li
+	    ><li class="src short"
+	    ><a href="#"
+	      >test2</a
+	      > :: <a href="#"
+	      >Bool</a
+	      ></li
+	    ><li class="src short"
+	    ><span class="keyword"
+	      >data</span
+	      > <a href="#"
+	      >X</a
+	      > = <a href="#"
+	      >X</a
+	      ></li
+	    ><li class="src short"
+	    ><a href="#"
+	      >reExport</a
+	      > :: <a href="#"
+	      >Int</a
+	      ></li
+	    ></ul
+	  ></details
 	></div
       ><div id="interface"
       ><h1