Constant widgetry::text::DEFAULT_FONT

pub const DEFAULT_FONT: Font;