Once https://github.com/tabatkins/highlighter/issues/25 is resolved we should update our copy of these styles in `resources.whatwg.org/standard-shared-with-dev.css`. (See #392 for context.)