theme changed to rtd theme and default if build on rtd server