i suspect the fontsize of that theme is somehow hardcoded...

i can see the distance between lines change, but not the sizes themselves.