Card sizes

The same CardSprite at seven widths, drawn at each size rather than drawn once and scaled — so the index is rasterised for the size it is shown at. Every measurement is a ratio of the width; see cardFaceMetrics.