default.css
  TEXT doctools.js
  TEXT jquery.js
       minus.png
       opensearch.xml
       py.png
       pygments.css
  TEXT searchtools.js