Constant widgetry::text::DEFAULT_FONT_SIZE

pub const DEFAULT_FONT_SIZE: usize = 21;