https://github.com/readthedocs/ext-theme/pull/634 was merged into another branch instead of main, not sure if we want the whole branch or just the diff from that PR.
