I thought that restriction was that HTML documents could not contain repeated IDs--does it apply to CSS as well? Not that I would ever do so, but I could have p#thing
and ul#thing
in the same style sheet, linked to multiple HTML documents, only using one rule or the other in each.