temporarily use the sphinx-better-theme