[Feature Request] Missing tok-strike span / strike-through text renders without line-through

[lorrin]

I'd like for stike-through text to have a line through it. Right now it's rendering plain for me.

I started going down the path of tyring to apply a text-decoration: line-through; style to it in my userchrome.cs, but I can't figure out how to select it. In the DOM, I see that the bolded text has a tok-strong span class, but the strike-through text, despite having the tokens recognized, has no span of its own:

<div dir="auto" class="cm-line">foo <span class="cm-rm-strike-token"><span class="tok-meta">~~</span></span>bar<span class="cm-rm-strike-token"><span class="tok-meta">~~</span></span> baz</div>
<div dir="auto" class="cm-line">boo <span class="cm-rm-strong-token"><span class="ͼ18 tok-strong tok-meta">**</span></span><span class="ͼ18 tok-strong">bar</span><span class="cm-rm-strong-token"><span class="ͼ18 tok-strong tok-meta">**</span></span> baz</div>