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/Bug1.html | 26 ++++++++++++++------------ 1 file changed, 14 insertions(+), 12 deletions(-) (limited to 'html-test/ref/Bug1.html') diff --git a/html-test/ref/Bug1.html b/html-test/ref/Bug1.html index 053c0b8e..e6ee486b 100644 --- a/html-test/ref/Bug1.html +++ b/html-test/ref/Bug1.html @@ -39,18 +39,20 @@ >Bug1

Synopsis

  • data T = T
Synopsis
  • data T = T