add the generated font sizes (they are no longer up to date but might be nice for posterity :-))