# Disallow all crawlers access to certain pages.

User-agent: *
Disallow: /derived/
Disallow: /fpclass/
Disallow: /overlay/
Disallow: /private/
Disallow: /themes/