Renamed .css file to facilitate todays changes. This is done seperatly because Google Code's diff does not regard this as a rename. Patch by: Lennard de Rijk Reviewed by: to-be-reviewed

# Directions for web crawlers.
# See http://www.robotstxt.org/wc/norobots.html.

User-agent: HTTrack
User-agent: puf
User-agent: MSIECrawler
User-agent: Nutch
Disallow: /