Feature request: adjust font for stepper

[wilbowma]

I was giving a talk this week using the stepper, and the font was too small on my monitor for the audience. I had to resort to tricks with accessibility options and screensharing.

It should really include a font option. I think traces does this.

[rfindler]

I'll add something, but in the meantime, know that it picks up the font size in DrRacket.

[wilbowma]

Noted, thanks!

[wilbowma]

(also, thanks for the stepper. It's been a life saver in this project)