Update robots.txt.
style.css: merge identical media queries.