chore: fix sphinx theming (#3718)
* fix theming * add script back * cleanup
M
Mikyo King committed
ed627bd33e96c647a645534f8b3568fe87eef026
Parent: 609877e
Committed by GitHub <noreply@github.com>
on 6/28/2024, 1:15:46 PM