From e41c1cbe9f0476997eac7b4a3f17cbc6b2262faf Mon Sep 17 00:00:00 2001
From: Tim Baumann <tim@timbaumann.info>
Date: Mon, 9 Oct 2017 18:33:09 +0200
Subject: Use <details> element for collapsibles (#690)

* Remove unnecessary call to 'collapseSection'

The call is unnecessary since there is no corresponding toggle for hiding the
section of orphan instances.

* Use <details> for collapsibles

This makes them work even when JS is disabled. Closes #560.
---
 html-test/ref/Bug310.html | 38 ++++++++++++++++++++------------------
 1 file changed, 20 insertions(+), 18 deletions(-)

(limited to 'html-test/ref/Bug310.html')

diff --git a/html-test/ref/Bug310.html b/html-test/ref/Bug310.html
index 93734800..50ba8cfd 100644
--- a/html-test/ref/Bug310.html
+++ b/html-test/ref/Bug310.html
@@ -39,24 +39,26 @@
 	>Bug310</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"
-	    >type family</span
-	    > (a :: <a href="#"
-	    >Nat</a
-	    >) <a href="#"
-	    >+</a
-	    > (b :: <a href="#"
-	    >Nat</a
-	    >) :: <a href="#"
-	    >Nat</a
-	    > <span class="keyword"
-	    >where ...</span
-	    ></li
-	  ></ul
+      ><details id="syn"
+	><summary
+	  >Synopsis</summary
+	  ><ul class="details-toggle" data-details-id="syn"
+	  ><li class="src short"
+	    ><span class="keyword"
+	      >type family</span
+	      > (a :: <a href="#"
+	      >Nat</a
+	      >) <a href="#"
+	      >+</a
+	      > (b :: <a href="#"
+	      >Nat</a
+	      >) :: <a href="#"
+	      >Nat</a
+	      > <span class="keyword"
+	      >where ...</span
+	      ></li
+	    ></ul
+	  ></details
 	></div
       ><div id="interface"
       ><h1
-- 
cgit v1.2.3