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/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
Synopsis
- type family (a :: Nat) + (b :: Nat) :: Nat where ...
Synopsis
- type family (a :: Nat) + (b :: Nat) :: Nat where ...