switch to nicer rtd theme