Good question. In doubt I checked existing CSS this morning and they seem to use this convention, not the selector.