Is a PR being worked on for this?

I think it could be super beneficial if the docs used a theme-based format rather than hardcoded tw tokens. Users could customize the look of their docs, and it would reduce the source code complexity I'd imagine. Implementing a dark mode theme would be trivial in this scenario.

Shortly after the HTML feature debuted, I wrote a little script that injected a dark mode stylesheet and some JS for a toggle switch into the generated docs. I'll post a screen grab below just for an idea of what the docs might look like with the lights out. The colors are very similar (identical) to GitHub's dark theme.