remove references to the mozilla-sphinx-theme
Merge branch 'default-theme' into better-loop-server-docs