OK. Over the following few commits I'm going to do some fairly hefty renaming and refactoring
of the CSS code.

This is the first of these commits, and removes the old usages of "name" and replaces them with
the W3C's "selector" terminology.