Changing the font (Object Animator)
You can change the font used in the Animation and History Panes.
1. On the Edit menu, click Options.
2. Click the appropriate Change button.
3. Select the required Font, Font Style and Size, and then click OK.
4. Click OK to close the Options dialog box.