Fernando Pérez

Thx for being receptive @rowanc1! I'll keep using this issue to track all CSS-related small things, but LMK when any one of them is distinct enough to warrant breaking it...

One more (screenshots taken separately as I can't get the anchor links to appear in both at the same time, since I need to hover). Anchors... "Classic":  MystJS: 

BTW - if those are actually more work to remove, I'd prioritize other work over "fixing" the code renderer :) Other than being different, I actually find it to be...

Thx @rowanc1 - LMK if I can do anything else to help.

Checking in on whether now that the 2.0 release is out, how hard this one seems in the priority list... In our existing courses we have a _lot_ of usage...

Agreed @agoose77 - the problem is that it's the most common one (and it's very intuitive too), and we have a _ton_ of content with them already in. I won't...

Cc @ryanlovett.

Before voting, I'd appreciate a bit more clarification on the extent to which this proposal impacts some of the specific points [raised by @dmonad during the #12359 discussion](https://github.com/jupyterlab/jupyterlab/pull/12359#issuecomment-1090385150). If I...

[Consolas](http://en.wikipedia.org/wiki/Consolas) is one of Microsoft's monospaced fonts. Here are examples of the same screenshots above, using Consolas, on a regular terminal emulator:  and the error box:  Now, I'm...

This is with mystjs 0.1.3 btw.