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/Ticket112.html | 18 ++++++++++-------- 1 file changed, 10 insertions(+), 8 deletions(-) (limited to 'html-test/ref/Ticket112.html') diff --git a/html-test/ref/Ticket112.html b/html-test/ref/Ticket112.html index 25a4b22d..ccd39ff0 100644 --- a/html-test/ref/Ticket112.html +++ b/html-test/ref/Ticket112.html @@ -39,14 +39,16 @@ >Ticket112

Synopsis

  • f :: a
Synopsis
  • f :: a