I think it was noted elsewhere that these should be just part of the core stylesheets.