Increased number of font sizes available.

-- Used to be 1-5; is now 1-9.
-- DSA used to make size=5 *really* big.  Now that there are more sizes,
DSA no longer has any overrides (so it's back to being a linear
scale)... old size 5 ==> new size 8.