CSS used by W3C specs (this repo is not about the w3.org/TR index page) - View it on GitHub