User-Agent: *
Disallow: /jax/
Disallow: /js/