Tactics Trainer: different fontsize for single-digit rating diff

[malo1972]

What is the problem?

single-digit rating diffs are marked with bigger fonts than double digits

Steps to reproduce the bug

play tactics with established ratings and wait for one digit diff...

What did you expect to happen?

same fontsize for all

What happened instead?

font too big

Device Info

samsung s10

Operating System Version

android current

Additional information

No response