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

1 files changed, 36 insertions, 34 deletions

diff --git a/html-test/ref/DeprecatedData.html b/html-test/ref/DeprecatedData.html
index 1216c4e0..2caed880 100644
--- a/html-test/ref/DeprecatedData.html
+++ b/html-test/ref/DeprecatedData.html
@@ -39,42 +39,44 @@
 	>DeprecatedData</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="#"
-	    >Foo</a
-	    ><ul class="subs"
-	    ><li
-	      >= <a href="#"
-		>Foo</a
-		></li
-	      ><li
-	      >| <a href="#"
-		>Bar</a
-		></li
-	      ></ul
-	    ></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="#"
-	    >One</a
-	    ><ul class="subs"
-	    ><li
-	      >= <a href="#"
-		>One</a
-		></li
+	    ><span class="keyword"
+	      >data</span
+	      > <a href="#"
+	      >Foo</a
+	      ><ul class="subs"
+	      ><li
+		>= <a href="#"
+		  >Foo</a
+		  ></li
+		><li
+		>| <a href="#"
+		  >Bar</a
+		  ></li
+		></ul
+	      ></li
+	    ><li class="src short"
+	    ><span class="keyword"
+	      >data</span
+	      > <a href="#"
+	      >One</a
+	      ><ul class="subs"
 	      ><li
-	      >| <a href="#"
-		>Two</a
-		></li
-	      ></ul
-	    ></li
-	  ></ul
+		>= <a href="#"
+		  >One</a
+		  ></li
+		><li
+		>| <a href="#"
+		  >Two</a
+		  ></li
+		></ul
+	      ></li
+	    ></ul
+	  ></details
 	></div
       ><div id="interface"
       ><h1