RJ BudzyƄski
RJ BudzyƄski‱8mo ago

the TeX stuff is too small for the rest

the TeX stuff is too small for the rest of the line. Is there any way to fix that?
7 Replies
Akshay
Akshay‱8mo ago
made an issue to track: https://github.com/marimo-team/marimo/issues/1127. Not yet opssible.
GitHub
Issues · marimo-team/marimo
A reactive notebook for Python — run reproducible experiments, execute as a script, deploy as an app, and version with git. - Issues · marimo-team/marimo
RJ BudzyƄski
RJ BudzyƄskiOP‱8mo ago
👍
RJ BudzyƄski
RJ BudzyƄskiOP‱8mo ago
I do not see that the issue of too small TeX fonts was fixed, as per the 0.4.1 changelog. In fact I think the font used for TeX embedded in regular text (not headings) is too small already:
No description
Akshay
Akshay‱8mo ago
Ah, is it better in headings though or no?
RJ BudzyƄski
RJ BudzyƄskiOP‱8mo ago
No description
Akshay
Akshay‱8mo ago
looks like it's better in headings
RJ BudzyƄski
RJ BudzyƄskiOP‱8mo ago
not really good though