how to change font size?

[mineo-bughunt]

I prefer a smaller font size.
Where do I rewrite to change it?

[AlEscher]

Hi @mineo-bughunt ,
It should be possible by setting the point size in the global font here: https://github.com/AlEscher/pwndbg-gui/blob/master/gui/pwndbg_gui.py#L367 using setPointSize.
I can't test it right now so I'm unsure whether it works as expected or there might be some alignment issues.