diff options
Diffstat (limited to 'html-test/ref/Bug613.html')
| -rw-r--r-- | html-test/ref/Bug613.html | 18 |
1 files changed, 11 insertions, 7 deletions
diff --git a/html-test/ref/Bug613.html b/html-test/ref/Bug613.html index c6876bd3..86579c88 100644 --- a/html-test/ref/Bug613.html +++ b/html-test/ref/Bug613.html @@ -95,9 +95,11 @@ ></p ></div ><div class="subs instances" - ><details id="i:Functor" open="open" - ><summary - >Instances</summary + ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Functor" + >Instances</h4 + ><details id="i:Functor" open="open" + ><summary class="hide-when-js-enabled" + >Instances details</summary ><table ><tr ><td class="src clearfix" @@ -215,9 +217,11 @@ ></table ></div ><div class="subs instances" - ><details id="i:ThreeVars" open="open" - ><summary - >Instances</summary + ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:ThreeVars" + >Instances</h4 + ><details id="i:ThreeVars" open="open" + ><summary class="hide-when-js-enabled" + >Instances details</summary ><table ><tr ><td class="src clearfix" @@ -271,4 +275,4 @@ ></div ></body ></html -> +>
\ No newline at end of file |