Modify font "Alarm Status Table"

Hi, it’s possible modify the font of the top bar in the “Alarm Status Table”?
I need to increase the font size

Thanks

You’re right, there isn’t! I’ve notified the developers, hopefully we’ll see a new property for that soon.

This has been added for 7.6.4.