Comment by xigoi

Really cool! It’s a shame that the CSS Highlight API only allows changing the color and not the font.