Comment by yorwba

It's just setting the font-family in the style attribute of a <span>. (As you can see by inspecting the text/html content of your clipboard, e.g. with `xclip -selection clipboard -o -t text/html`)