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

1 files changed, 37 insertions, 35 deletions

diff --git a/html-test/ref/Nesting.html b/html-test/ref/Nesting.html
index ac3e4784..76993674 100644
--- a/html-test/ref/Nesting.html
+++ b/html-test/ref/Nesting.html
@@ -39,42 +39,44 @@
 	>Nesting</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"
-	  ><a href="#"
-	    >d</a
-	    > :: t</li
-	  ><li class="src short"
-	  ><a href="#"
-	    >e</a
-	    > :: t</li
-	  ><li class="src short"
-	  ><a href="#"
-	    >f</a
-	    > :: t</li
-	  ><li class="src short"
-	  ><a href="#"
-	    >g</a
-	    > :: t</li
+      ><details id="syn"
+	><summary
+	  >Synopsis</summary
+	  ><ul class="details-toggle" data-details-id="syn"
 	  ><li class="src short"
-	  ><a href="#"
-	    >h</a
-	    > :: t</li
-	  ><li class="src short"
-	  ><a href="#"
-	    >i</a
-	    > :: t</li
-	  ><li class="src short"
-	  ><a href="#"
-	    >j</a
-	    > :: t</li
-	  ><li class="src short"
-	  ><a href="#"
-	    >k</a
-	    > :: t</li
-	  ></ul
+	    ><a href="#"
+	      >d</a
+	      > :: t</li
+	    ><li class="src short"
+	    ><a href="#"
+	      >e</a
+	      > :: t</li
+	    ><li class="src short"
+	    ><a href="#"
+	      >f</a
+	      > :: t</li
+	    ><li class="src short"
+	    ><a href="#"
+	      >g</a
+	      > :: t</li
+	    ><li class="src short"
+	    ><a href="#"
+	      >h</a
+	      > :: t</li
+	    ><li class="src short"
+	    ><a href="#"
+	      >i</a
+	      > :: t</li
+	    ><li class="src short"
+	    ><a href="#"
+	      >j</a
+	      > :: t</li
+	    ><li class="src short"
+	    ><a href="#"
+	      >k</a
+	      > :: t</li
+	    ></ul
+	  ></details
 	></div
       ><div id="interface"
       ><h1