diff options
| author | Nuno Alexandre <nuno@channable.com> | 2018-02-04 13:11:48 +0100 |
|---|---|---|
| committer | Alec Theriault <alec.theriault@gmail.com> | 2018-10-18 08:14:32 -0700 |
| commit | 14a659a0a19b490b13e1a7706f5f24c022ce873b (patch) | |
| tree | d4bf6cfd5a46a95d7e1529c957300a3c6f888578 /html-test/ref/TypeFamilies2.html | |
| parent | 1861ff90dbe652c22f0dcd220d2f15dd6cfdfefb (diff) | |
Update html-test reference files
The package name element in the package-header is now a div instead of a
paragraph, and it is now above the menu ul.links instead of below.
Diffstat (limited to 'html-test/ref/TypeFamilies2.html')
| -rw-r--r-- | html-test/ref/TypeFamilies2.html | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/html-test/ref/TypeFamilies2.html b/html-test/ref/TypeFamilies2.html index acddceb6..3241fab4 100644 --- a/html-test/ref/TypeFamilies2.html +++ b/html-test/ref/TypeFamilies2.html @@ -13,7 +13,9 @@ ></head ><body ><div id="package-header" - ><ul class="links" id="page-menu" + ><div class="caption empty" + ></div + ><ul class="links" id="page-menu" ><li ><a href="#" >Contents</a @@ -23,8 +25,6 @@ >Index</a ></li ></ul - ><p class="caption empty" - ></p ></div ><div id="content" ><div id="module-header" |