When I paste the robots.txt file here, it complains about a bad four characters
code.
But you are right. The css file in question is in a folder disallowed by
robots.txt
D'uh.