reset Sphinx theme to default for RTD.org