Gregory's Server
@bramus It’s interesting that this new approach prevents you from using many CSS features.
I’m using Highlight.js to syntax-highlight code for LaTeX (to produce PDFs from Markdown). And I had to look up sequences of CSS class names in CSS files to get color, text weight, etc. That’s what you need to do here, too.
It’s a shame there is no declarative (non-JS) version of this API.
@rauschma The styling of these highlights works similarly to highlights that occur when selecting text.
Would be weird if layout started to jump as you select text, so it makes sense to limit what aspect of styling you can change.