They're using it on the page, which presumably means that your browser already downloaded it! You can probably dig around the page source/network tab to find it.