Lets see if sphinx_rtd_theme works on the server too