Use TeX for text, and adjust font sizes