use default theme for doc (for the purpose of migrating the docs to ReadTheDocs)