Font too big while using Docker

[mavnt]

Hello,

pretty much the title:

Maybe set pointsize as an environment variable? It may have something to do with the font as well.

👋 👋 👋

[alisinabh]

Hello @mavnt and thank you for submitting this.

Yes I believe the font family is different in docker since the dots in the colon : are rounded in this picture. Currently I don't have access to my computer. I will investigate this ASAP.