aboutsummaryrefslogtreecommitdiff
path: root/html-test/ref/GADTRecords.html
diff options
context:
space:
mode:
authorTim Baumann <tim@timbaumann.info>2017-10-09 18:33:09 +0200
committerAlexander Biehl <alexbiehl@gmail.com>2017-10-09 18:33:09 +0200
commite41c1cbe9f0476997eac7b4a3f17cbc6b2262faf (patch)
tree630d1956d5c94e7fcbc185027d211c64213597b4 /html-test/ref/GADTRecords.html
parent406030f2782590799e44470da7ca80e85f3cf026 (diff)
Use <details> 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 <details> for collapsibles This makes them work even when JS is disabled. Closes #560.
Diffstat (limited to 'html-test/ref/GADTRecords.html')
-rw-r--r--html-test/ref/GADTRecords.html92
1 files changed, 47 insertions, 45 deletions
diff --git a/html-test/ref/GADTRecords.html b/html-test/ref/GADTRecords.html
index fffe5bd5..bba54b3e 100644
--- a/html-test/ref/GADTRecords.html
+++ b/html-test/ref/GADTRecords.html
@@ -39,52 +39,54 @@
>GADTRecords</p
></div
><div id="synopsis"
- ><p id="control.syn" class="caption expander" onclick="toggleSection('syn')"
- >Synopsis</p
- ><ul id="section.syn" class="hide" onclick="toggleSection('syn')"
- ><li class="src short"
- ><span class="keyword"
- >data</span
- > <a href="#"
- >H1</a
- > a b <span class="keyword"
- >where</span
- ><ul class="subs"
- ><li
- ><a href="#"
- >C1</a
- > :: <a href="#"
- >H1</a
- > a b</li
- ><li
- ><a href="#"
- >C2</a
- > :: <a href="#"
- >Ord</a
- > a =&gt; [a] -&gt; <a href="#"
- >H1</a
- > a a</li
- ><li
- ><a href="#"
- >C3</a
- > :: {..} -&gt; <a href="#"
- >H1</a
- > <a href="#"
- >Int</a
- > <a href="#"
- >Int</a
- ></li
+ ><details id="syn"
+ ><summary
+ >Synopsis</summary
+ ><ul class="details-toggle" data-details-id="syn"
+ ><li class="src short"
+ ><span class="keyword"
+ >data</span
+ > <a href="#"
+ >H1</a
+ > a b <span class="keyword"
+ >where</span
+ ><ul class="subs"
><li
- ><a href="#"
- >C4</a
- > :: {..} -&gt; <a href="#"
- >H1</a
- > <a href="#"
- >Int</a
- > a</li
- ></ul
- ></li
- ></ul
+ ><a href="#"
+ >C1</a
+ > :: <a href="#"
+ >H1</a
+ > a b</li
+ ><li
+ ><a href="#"
+ >C2</a
+ > :: <a href="#"
+ >Ord</a
+ > a =&gt; [a] -&gt; <a href="#"
+ >H1</a
+ > a a</li
+ ><li
+ ><a href="#"
+ >C3</a
+ > :: {..} -&gt; <a href="#"
+ >H1</a
+ > <a href="#"
+ >Int</a
+ > <a href="#"
+ >Int</a
+ ></li
+ ><li
+ ><a href="#"
+ >C4</a
+ > :: {..} -&gt; <a href="#"
+ >H1</a
+ > <a href="#"
+ >Int</a
+ > a</li
+ ></ul
+ ></li
+ ></ul
+ ></details
></div
><div id="interface"
><h1