2 ms·

Which checkbox? I cannot find anything relevant in any of the 3 browsers I use (Vivialdi, Firefox, Chrome). Would really appreciate this option. A quick searc

Which checkbox? I cannot find anything relevant in any of the 3 browsers I use (Vivialdi, Firefox, Chrome). Would really appreciate this option. A quick search gave some apparently unmaintained browser extensions, and it's it.

FredPret 3y ago
No, I'm saying there should be a checkbox. That way, you can switch between two columns formatted like LaTeX and that font they always use, and one column with Helvetica / Arial.
- IlliOnato 3y ago
  It would be nice, but I am not holding my breath.