Thanks for your question. According to that link you sent, these are HTML validation errors rather than CSS errors, because the specification does not allow element IDs to start with a digit. I checked it out, and this appears to be common practice despite the spec, supported by all browsers. So I think it is OK to leave it as it is.