Constant widgetry::text::DEFAULT_FONT_SIZE

source · 
pub const DEFAULT_FONT_SIZE: usize = 21;