Tap circles to adjust font. Source at github.com/jmandel/focus.