aboutsummaryrefslogtreecommitdiff
path: root/html-test/ref/Properties.html
diff options
context:
space:
mode:
authoralexbiehl <alex.biehl@gmail.com>2017-10-31 21:48:55 +0100
committeralexbiehl <alex.biehl@gmail.com>2017-10-31 21:48:55 +0100
commit08c9e19236770811caf571321f5ece271d1fccff (patch)
treebeb3f6407d14abcab32f9d54811cabd319c356a4 /html-test/ref/Properties.html
parent3896bff411596ef50b5ca2f2be425e89878410aa (diff)
parente5fe98530d9c70f5197494da9de07f42dd7fe334 (diff)
Merge remote-tracking branch 'origin/master' into ghc-head
Diffstat (limited to 'html-test/ref/Properties.html')
-rw-r--r--html-test/ref/Properties.html26
1 files changed, 14 insertions, 12 deletions
diff --git a/html-test/ref/Properties.html b/html-test/ref/Properties.html
index 0193b087..15585cd9 100644
--- a/html-test/ref/Properties.html
+++ b/html-test/ref/Properties.html
@@ -39,18 +39,20 @@
>Properties</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"
- ><a href="#"
- >fib</a
- > :: <a href="#"
- >Integer</a
- > -&gt; <a href="#"
- >Integer</a
- ></li
- ></ul
+ ><details id="syn"
+ ><summary
+ >Synopsis</summary
+ ><ul class="details-toggle" data-details-id="syn"
+ ><li class="src short"
+ ><a href="#"
+ >fib</a
+ > :: <a href="#"
+ >Integer</a
+ > -&gt; <a href="#"
+ >Integer</a
+ ></li
+ ></ul
+ ></details
></div
><div id="interface"
><h1