Vincent Rubinetti

In both of those browsers, could you open up the dev console and try to see what font is actually being used for each of those characters. You can do...

@slochower As discussed in [#185](https://github.com/manubot/rootstock/issues/185#issuecomment-470130975), this happens because most fonts only support a small sub-set of all the possible unicode characters. I was just reading [this](https://stackoverflow.com/questions/34732718/why-isnt-there-a-font-that-contains-all-unicode-glyphs), and apparently not only...

@slochower When you see `font-family: "Open Sans", "Helvetica", sans-serif`, that is the fallback order of the fonts, on a per-character basis. If the font can't be found (either it's not...

[Open Sans](https://fonts.google.com/specimen/Open+Sans) is the most used and most popular sans-serif Google Font (30 billion serves per week). I think Google Fonts are the most reliably way to make sure everyone...

No it doesn't. But neither does almost anything else. And the few fonts that do have all the characters aren't installed by default on all browsers and OS's. If you...

I think it's good to show users that they can also just copy and paste WYSIWYG text (ie unicode) without necessarily having to do anything fancy like HTML or CSS....

I originally just had a single subscript `x` and a single superscript `2`, but we added the whole range of numbers so people could copy and paste easily. That's not...

Unfortunately line numbers are the same issue as page numbers. HTML just wasn't designed with pagination in mind. When the browser performs the automatic text wrapping -- and automatic pagination...

I doubt we want to use CSS variables. Things can get messy, on top of the already messy CSS specificity. Yes this is something that has been discussed in other...

I'll see if I can get this included as a plugin, either hot-linked, embedded, or hosted on our own `manubot-resources` repo. As far as printing it though, yeah, WeasyPrint almost...