Use default sphinx-theme by default