Open annevk opened 2 years ago
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.
resources.whatwg.org/standard-shared-with-dev.css
(See #392 for context.)
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.)