Revert sphinx theme to default