Optimizations and theme switch fix

jonian released this 19 Apr 18:47

· 38 commits to master since this release

6694058

Fix theme switch for latest devdocs version
Replace $ with document.querySelector
Remove old settings migration

Assets 2