Constant widgetry::text::MAX_CHAR_WIDTH

pub const MAX_CHAR_WIDTH: f64 = 25.0;