diff options
| author | Tim Baumann <tim@timbaumann.info> | 2017-10-09 18:33:09 +0200 |
|---|---|---|
| committer | Alexander Biehl <alexbiehl@gmail.com> | 2017-10-09 18:33:09 +0200 |
| commit | e41c1cbe9f0476997eac7b4a3f17cbc6b2262faf (patch) | |
| tree | 630d1956d5c94e7fcbc185027d211c64213597b4 /html-test/ref/Operators.html | |
| parent | 406030f2782590799e44470da7ca80e85f3cf026 (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/Operators.html')
| -rw-r--r-- | html-test/ref/Operators.html | 212 |
1 files changed, 107 insertions, 105 deletions
diff --git a/html-test/ref/Operators.html b/html-test/ref/Operators.html index 0f1b9554..1db0a91a 100644 --- a/html-test/ref/Operators.html +++ b/html-test/ref/Operators.html @@ -47,114 +47,116 @@ ></div ></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" - ><a href="#" - >(+-)</a - > :: a -> a -> a</li - ><li class="src short" - ><a href="#" - >(*/)</a - > :: a -> a -> a</li - ><li class="src short" - ><a href="#" - >foo</a - > :: a -> a -> 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="#" - >Foo</a - ><ul class="subs" - ><li - >= <a href="#" - >Foo</a - > <a href="#" - >`Bar`</a - > <a href="#" - >Foo</a - ></li + ><a href="#" + >(+-)</a + > :: a -> a -> a</li + ><li class="src short" + ><a href="#" + >(*/)</a + > :: a -> a -> a</li + ><li class="src short" + ><a href="#" + >foo</a + > :: a -> a -> a</li + ><li class="src short" + ><span class="keyword" + >data</span + > <a href="#" + >Foo</a + ><ul class="subs" ><li - >| <a href="#" - >Foo</a - > <a href="#" - >:-</a - > <a href="#" - >Foo</a - ></li - ></ul - ></li - ><li class="src short" - ><span class="keyword" - >pattern</span - > <a href="#" - >(:+)</a - > :: <span class="keyword" - >forall</span - > a. a -> a -> [a]</li - ><li class="src short" - ><span class="keyword" - >data</span - > a <a href="#" - ><-></a - > b <span class="keyword" - >where</span - ><ul class="subs" - ><li - ><a href="#" - >(:<->)</a - > :: a -> b -> a <a href="#" - ><-></a - > b</li - ></ul - ></li - ><li class="src short" - ><span class="keyword" - >type family</span - > a <a href="#" - >++</a - > b</li - ><li class="src short" - ><span class="keyword" - >data family</span - > a <a href="#" - >**</a - > b</li - ><li class="src short" - ><span class="keyword" - >class</span - > a <a href="#" - >><></a - > b | a -> b <span class="keyword" - >where</span - ><ul class="subs" - ><li - ><span class="keyword" - >type</span - > a <a href="#" - ><><</a - > b :: <a href="#" - >*</a - ></li + >= <a href="#" + >Foo</a + > <a href="#" + >`Bar`</a + > <a href="#" + >Foo</a + ></li + ><li + >| <a href="#" + >Foo</a + > <a href="#" + >:-</a + > <a href="#" + >Foo</a + ></li + ></ul + ></li + ><li class="src short" + ><span class="keyword" + >pattern</span + > <a href="#" + >(:+)</a + > :: <span class="keyword" + >forall</span + > a. a -> a -> [a]</li + ><li class="src short" + ><span class="keyword" + >data</span + > a <a href="#" + ><-></a + > b <span class="keyword" + >where</span + ><ul class="subs" ><li - ><span class="keyword" - >data</span - > a <a href="#" - >><<</a - > b</li - ></ul - ></li - ><li class="src short" - ><span class="keyword" - >type</span - > <a href="#" - >(>-<)</a - > a b = a <a href="#" - ><-></a - > b</li - ></ul + ><a href="#" + >(:<->)</a + > :: a -> b -> a <a href="#" + ><-></a + > b</li + ></ul + ></li + ><li class="src short" + ><span class="keyword" + >type family</span + > a <a href="#" + >++</a + > b</li + ><li class="src short" + ><span class="keyword" + >data family</span + > a <a href="#" + >**</a + > b</li + ><li class="src short" + ><span class="keyword" + >class</span + > a <a href="#" + >><></a + > b | a -> b <span class="keyword" + >where</span + ><ul class="subs" + ><li + ><span class="keyword" + >type</span + > a <a href="#" + ><><</a + > b :: <a href="#" + >*</a + ></li + ><li + ><span class="keyword" + >data</span + > a <a href="#" + >><<</a + > b</li + ></ul + ></li + ><li class="src short" + ><span class="keyword" + >type</span + > <a href="#" + >(>-<)</a + > a b = a <a href="#" + ><-></a + > b</li + ></ul + ></details ></div ><div id="interface" ><h1 |