aboutsummaryrefslogtreecommitdiff
path: root/html-test/ref/BugExportHeadings.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/BugExportHeadings.html
parent3896bff411596ef50b5ca2f2be425e89878410aa (diff)
parente5fe98530d9c70f5197494da9de07f42dd7fe334 (diff)
Merge remote-tracking branch 'origin/master' into ghc-head
Diffstat (limited to 'html-test/ref/BugExportHeadings.html')
-rw-r--r--html-test/ref/BugExportHeadings.html80
1 files changed, 41 insertions, 39 deletions
diff --git a/html-test/ref/BugExportHeadings.html b/html-test/ref/BugExportHeadings.html
index ac121737..7b3e7728 100644
--- a/html-test/ref/BugExportHeadings.html
+++ b/html-test/ref/BugExportHeadings.html
@@ -69,46 +69,48 @@
></ul
></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="#"
- >foo</a
- > :: <a href="#"
- >Int</a
- ></li
- ><li class="src short"
- ><a href="#"
- >bar</a
- > :: <a href="#"
- >Int</a
- ></li
+ ><details id="syn"
+ ><summary
+ >Synopsis</summary
+ ><ul class="details-toggle" data-details-id="syn"
><li class="src short"
- ><a href="#"
- >baz</a
- > :: <a href="#"
- >Int</a
- ></li
- ><li class="src short"
- ><a href="#"
- >one</a
- > :: <a href="#"
- >Int</a
- ></li
- ><li class="src short"
- ><a href="#"
- >two</a
- > :: <a href="#"
- >Int</a
- ></li
- ><li class="src short"
- ><a href="#"
- >three</a
- > :: <a href="#"
- >Int</a
- ></li
- ></ul
+ ><a href="#"
+ >foo</a
+ > :: <a href="#"
+ >Int</a
+ ></li
+ ><li class="src short"
+ ><a href="#"
+ >bar</a
+ > :: <a href="#"
+ >Int</a
+ ></li
+ ><li class="src short"
+ ><a href="#"
+ >baz</a
+ > :: <a href="#"
+ >Int</a
+ ></li
+ ><li class="src short"
+ ><a href="#"
+ >one</a
+ > :: <a href="#"
+ >Int</a
+ ></li
+ ><li class="src short"
+ ><a href="#"
+ >two</a
+ > :: <a href="#"
+ >Int</a
+ ></li
+ ><li class="src short"
+ ><a href="#"
+ >three</a
+ > :: <a href="#"
+ >Int</a
+ ></li
+ ></ul
+ ></details
></div
><div id="interface"
><h1 id="g:1"