Use the default theme in Sphinx