font size in symmetry_factor.py