Feature Request: Font size options

[mike-crawfurd]

Version I'm using version 1.7.0

Existing requests I've checked Existing requests

What operating system are you using? Windows 10

Operating System Version 20H2

Problem description I like a smaller Stretchly windows (i.e. 40% or smaller), however when I try smaller than 40% the font is too large to display all the texts.

Possible solution Add an option / variable to change the font size

Alternative solutions Allow the font size to be aligned with the height/width (i.e. be a % of the dimensions based on font size x for 100%)

Additional information

Code of Conduct I agree to follow this project's Code of Conduct

[hovancik]

I remember seeing CSS somewhere that changed the size of text according to the window size, will try to find it.

[mike-crawfurd]

Thanks, would be great to understand how it can be tweaked.

[mike-crawfurd]

Hi Hovancik, do you have any update on this? How can I change the font size?

[hovancik]

Hi, sorry, I am extremly busy :(

Here's article explaining how it could be done, I just need to find time to implement and test somthing: https://chenhuijing.com/blog/math-and-front-end/