Static widgetry::style::DEFAULT_OUTLINE_THICKNESS

static DEFAULT_OUTLINE_THICKNESS: f64