Switch docs back to default theme for readthedocs