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
    • h :: t
    • i :: t
    • j :: t
    • k :: t
    d :: t
  • e :: t
  • f :: t
  • g :: t
  • h :: t
  • i :: t
  • j :: t
  • k :: t