Closed cdevienne closed 3 years ago
It's nice to keep the dark theme when coming back to the explorer or after reloading.
You can add a PR (make sure to both update doc/index.html and doc/3.0.0/index.html) and I'll merge it.
doc/index.html
doc/3.0.0/index.html
But for me this isn't a big priority.
It's nice to keep the dark theme when coming back to the explorer or after reloading.