Merge pull request #22 from szymon-rd/misc-scaladoc-fixes

Misc scaladoc fixes

Author: szymon-rd

scaladoc/resources/dotty_res/scripts/ux.js

@@ -53,7 +53,7 @@ function attachAllListeners() {
     if (href === "") { return }
     const url = new URL(href)
     el.addEventListener('click', e => {
-      if (url.href.replace("#", "") === window.location.href.replace("#", "")) { return }
+      if (url.href.replace(/#.*/, "") === window.location.href.replace(/#.*/, "")) { return }
       if (url.origin !== window.location.origin) { return }
       if (e.metaKey || e.ctrlKey || e.shiftKey || e.altKey || e.button !== 0) { return }
       e.preventDefault()
@@ -188,6 +188,7 @@ document.getElementById("mobile-menu-close").addEventListener('click', _e => {
 })
 
 window.addEventListener('popstate', e => {
+  if (e.state === null) { return }
   const { leftColumn, mainDiv, title } = e.state
   document.title = title
   const { children } = document.body.firstChild

scaladoc/resources/dotty_res/styles/apistyles.css

@@ -1,3 +0,0 @@
-#content > div {
-  width: 100%;
-}

scaladoc/src/dotty/tools/scaladoc/tasty/comments/markdown/SectionRenderingExtension.scala

@@ -27,9 +27,9 @@ object SectionRenderingExtension extends HtmlRenderer.HtmlRendererExtension:
       val attributes = Attributes()
       val headerClass: String = header.getLevel match
         case 1 => "h500"
-        case 2 => "h300"
-        case 3 => "h200"
-        case 4 => "h100"
+        case 2 => "h500"
+        case 3 => "h400"
+        case 4 => "h300"
         case _ => "h50"
       attributes.addValue(AttributeImpl.of("class", headerClass))
       val embeddedAttributes = EmbeddedAttributeProvider.EmbeddedNodeAttributes(header, attributes)