We shouldn't be so dependent on Python Tutor's version of the JS/CSS files. Either host them ourselves or find a corresponding CDN for each.