v1.2.0 with smaller fonts

This should be the upstream 1.2.0 release, but with the fonts sized down by a couple steps. What used to be "small" is now "large", and "medium" and "small" are smaller than that.

The changes are hacky, but seem to work.

I haven't tested installing this, but built it the same way that github does, so I assume it'll work.

(And to make the smaller fonts more legible, I tweaked the thresholds for sampling to four colors so that the text is a bit heavier.)