widgetry::text

Constant DEFAULT_FONT_SIZE

Source 
pub const DEFAULT_FONT_SIZE: usize = 21;