(???) default.css
 (TXT) doctools.js
 (TXT) jquery.js
 (PNG) minus.png
 (???) opensearch.xml
 (PNG) py.png
 (???) pygments.css
 (TXT) searchtools.js