# robots.txt

User-agent: *
Disallow: /js/
Disallow: /jshover/
Disallow: /tree/
Disallow: /cgi-bin/
Disallow: /css/

User-agent: twiceler
Disallow: /

User-agent: crawl
Disallow: /

User-agent: robot
Disallow: /