docs no-longer imports rtd theme