Use default theme in `docs/conf.py`