From e41c1cbe9f0476997eac7b4a3f17cbc6b2262faf Mon Sep 17 00:00:00 2001
From: Tim Baumann
Date: Mon, 9 Oct 2017 18:33:09 +0200
Subject: Use 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 for collapsibles
This makes them work even when JS is disabled. Closes #560.
---
html-test/ref/Nesting.html | 72 ++++++++++++++++++++++++----------------------
1 file changed, 37 insertions(+), 35 deletions(-)
(limited to 'html-test/ref/Nesting.html')
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
Synopsis
- d :: t
- e :: t
- f :: t
- g :: t
Synopsis
d :: t- e :: t
- f :: t
- g :: t
- h :: t
- i :: t
- j :: t
- k :: t