aboutsummaryrefslogtreecommitdiff
path: root/html-test/ref/BundledPatterns.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/BundledPatterns.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/BundledPatterns.html')
-rw-r--r--html-test/ref/BundledPatterns.html150
1 files changed, 76 insertions, 74 deletions
diff --git a/html-test/ref/BundledPatterns.html b/html-test/ref/BundledPatterns.html
index 7f424a0d..dea60728 100644
--- a/html-test/ref/BundledPatterns.html
+++ b/html-test/ref/BundledPatterns.html
@@ -39,82 +39,84 @@
>BundledPatterns</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="#"
- >Vec</a
- > :: <a href="#"
- >Nat</a
- > -&gt; <a href="#"
- >*</a
- > -&gt; <a href="#"
- >*</a
- > <span class="keyword"
- >where</span
- ><ul class="subs"
- ><li
- ><a href="#"
- >Nil</a
- > :: <a href="#"
- >Vec</a
- > 0 a</li
- ><li
- ><span class="keyword"
- >pattern</span
- > <a href="#"
- >(:&gt;)</a
- > :: a -&gt; <a href="#"
- >Vec</a
- > n a -&gt; <a href="#"
- >Vec</a
- > (n <a href="#"
- >+</a
- > 1) a</li
- ></ul
- ></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="#"
- >RTree</a
- > :: <a href="#"
- >Nat</a
- > -&gt; <a href="#"
- >*</a
- > -&gt; <a href="#"
- >*</a
- > <span class="keyword"
- >where</span
- ><ul class="subs"
- ><li
- ><span class="keyword"
- >pattern</span
- > <a href="#"
- >LR</a
- > :: a -&gt; <a href="#"
- >RTree</a
- > 0 a</li
+ ><span class="keyword"
+ >data</span
+ > <a href="#"
+ >Vec</a
+ > :: <a href="#"
+ >Nat</a
+ > -&gt; <a href="#"
+ >*</a
+ > -&gt; <a href="#"
+ >*</a
+ > <span class="keyword"
+ >where</span
+ ><ul class="subs"
><li
- ><span class="keyword"
- >pattern</span
- > <a href="#"
- >BR</a
- > :: <a href="#"
- >RTree</a
- > d a -&gt; <a href="#"
- >RTree</a
- > d a -&gt; <a href="#"
- >RTree</a
- > (d <a href="#"
- >+</a
- > 1) a</li
- ></ul
- ></li
- ></ul
+ ><a href="#"
+ >Nil</a
+ > :: <a href="#"
+ >Vec</a
+ > 0 a</li
+ ><li
+ ><span class="keyword"
+ >pattern</span
+ > <a href="#"
+ >(:&gt;)</a
+ > :: a -&gt; <a href="#"
+ >Vec</a
+ > n a -&gt; <a href="#"
+ >Vec</a
+ > (n <a href="#"
+ >+</a
+ > 1) a</li
+ ></ul
+ ></li
+ ><li class="src short"
+ ><span class="keyword"
+ >data</span
+ > <a href="#"
+ >RTree</a
+ > :: <a href="#"
+ >Nat</a
+ > -&gt; <a href="#"
+ >*</a
+ > -&gt; <a href="#"
+ >*</a
+ > <span class="keyword"
+ >where</span
+ ><ul class="subs"
+ ><li
+ ><span class="keyword"
+ >pattern</span
+ > <a href="#"
+ >LR</a
+ > :: a -&gt; <a href="#"
+ >RTree</a
+ > 0 a</li
+ ><li
+ ><span class="keyword"
+ >pattern</span
+ > <a href="#"
+ >BR</a
+ > :: <a href="#"
+ >RTree</a
+ > d a -&gt; <a href="#"
+ >RTree</a
+ > d a -&gt; <a href="#"
+ >RTree</a
+ > (d <a href="#"
+ >+</a
+ > 1) a</li
+ ></ul
+ ></li
+ ></ul
+ ></details
></div
><div id="interface"
><h1