1 files changed, 38 insertions, 32 deletions
diff --git a/html-test/ref/BugExportHeadings.html b/html-test/ref/BugExportHeadings.html
index 78af3351..2e22cad1 100644
--- a/html-test/ref/BugExportHeadings.html
+++ b/html-test/ref/BugExportHeadings.html
@@ -1,18 +1,24 @@
 <html xmlns="http://www.w3.org/1999/xhtml"
 ><head
   ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"
+     /><meta name="viewport" content="width=device-width, initial-scale=1"
      /><title
     >BugExportHeadings</title
-    ><link href="#" rel="stylesheet" type="text/css" title="Ocean"
+    ><link href="#" rel="stylesheet" type="text/css" title="NewOcean"
+     /><link rel="stylesheet" type="text/css" href="#"
      /><link rel="stylesheet" type="text/css" href="#"
      /><script src="haddock-bundle.min.js" async="async" type="text/javascript"
     ></script
-    ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
+    ><script type="text/x-mathjax-config"
+    >MathJax.Hub.Config({ tex2jax: { processClass: &quot;mathjax&quot;, ignoreClass: &quot;.*&quot; } });</script
+    ><script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/MathJax.js?config=TeX-AMS-MML_HTMLorMML" type="text/javascript"
     ></script
     ></head
   ><body
   ><div id="package-header"
-    ><ul class="links" id="page-menu"
+    ><span class="caption empty"
+      ></span
+      ><ul class="links" id="page-menu"
       ><li
 	><a href="#"
 	  >Contents</a
@@ -22,8 +28,6 @@
 	  >Index</a
 	  ></li
 	></ul
-      ><p class="caption empty"
-      ></p
       ></div
     ><div id="content"
     ><div id="module-header"
@@ -39,34 +43,36 @@
 	>BugExportHeadings</p
 	></div
       ><div id="table-of-contents"
-      ><p class="caption"
-	>Contents</p
-	><ul
-	><li
-	  ><a href="#"
-	    >Foo</a
-	    ></li
-	  ><li
-	  ><a href="#"
-	    >Bar</a
-	    ></li
-	  ><li
-	  ><a href="#"
-	    >Baz</a
-	    ></li
-	  ><li
-	  ><a href="#"
-	    >One</a
-	    ></li
+      ><div id="contents-list"
+	><p class="caption" onclick="window.scrollTo(0,0)"
+	  >Contents</p
+	  ><ul
 	  ><li
-	  ><a href="#"
-	    >Two</a
-	    ></li
-	  ><li
-	  ><a href="#"
-	    >Three</a
-	    ></li
-	  ></ul
+	    ><a href="#"
+	      >Foo</a
+	      ></li
+	    ><li
+	    ><a href="#"
+	      >Bar</a
+	      ></li
+	    ><li
+	    ><a href="#"
+	      >Baz</a
+	      ></li
+	    ><li
+	    ><a href="#"
+	      >One</a
+	      ></li
+	    ><li
+	    ><a href="#"
+	      >Two</a
+	      ></li
+	    ><li
+	    ><a href="#"
+	      >Three</a
+	      ></li
+	    ></ul
+	  ></div
 	></div
       ><div id="synopsis"
       ><details id="syn"