It's awesome that Dokka can be run without JS and still look like a functioning website now! It was confusing for people to open Dokka pages as files in their browser and see no navigation menu, as demonstrated by #1588 and #1513. With the changes from this PR, it will not look broken, but people might still question why there is no navigation menu or why some things do not work.

It's totally optional, but is it possible to add an indicator or a hint or a banner (or anything else) that will say something like

JavaScript is not enabled on this page, some content or functionality of the website can be limited or unavailable.

If you are opening local .html files in your browser, to fix this please use a web server to host documentation, or use the IntelliJ Ultimate built-in web server for preview."

Created a separate issue for this: #2964

Also, if it's not too much to ask, can you disable showing this "copy anchor" popup if JS is disabled? It's not going to work if it's pressed. Hover over any function/property name from the left column

And a question on the source set buttons in the header.

I don't know if it's a bug in my browser or if it's intended, but on wide monitors the buttons look huge and have a different shape (rounded corners). It's especially strange to see when you're looking at the page with packages that have the same source set indicators, but in a different shape

However, if I shrink the page horizontally, the buttons change their shape and are smaller, which is nice. Can we stick to one style and size only (the one below)?

Also, the buttons themselves are quite confusing, it's not clear what their purpose is and how they help the reader, ideally we want to redesign it completely (see #2779). For this reason, maybe it makes sense to make them smaller to not draw so much attention? What do you think?

Created a separate issue for my no-JS indicator proposal: #2964