diff options
Diffstat (limited to 'html-test/ref/TypeFamilies3.html')
-rw-r--r-- | html-test/ref/TypeFamilies3.html | 16 |
1 files changed, 10 insertions, 6 deletions
diff --git a/html-test/ref/TypeFamilies3.html b/html-test/ref/TypeFamilies3.html index fa270191..a7e60ce1 100644 --- a/html-test/ref/TypeFamilies3.html +++ b/html-test/ref/TypeFamilies3.html @@ -125,9 +125,11 @@ >An open family</p ></div ><div class="subs instances" - ><details id="i:Bar" open="open" - ><summary - >Instances</summary + ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Bar" + >Instances</h4 + ><details id="i:Bar" open="open" + ><summary class="hide-when-js-enabled" + >Instances details</summary ><table ><tr ><td class="src clearfix" @@ -221,9 +223,11 @@ >A data family</p ></div ><div class="subs instances" - ><details id="i:Baz" open="open" - ><summary - >Instances</summary + ><h4 class="instances details-toggle-control details-toggle" data-details-id="i:Baz" + >Instances</h4 + ><details id="i:Baz" open="open" + ><summary class="hide-when-js-enabled" + >Instances details</summary ><table ><tr ><td class="src clearfix" |