What's the right way to globally change the font size? \newcommand{\doglobally}[1]{{\globaldefs=1#1}} Now you can write \doglobally\tiny