Constant widgetry::DEFAULT_CORNER_RADIUS

pub const DEFAULT_CORNER_RADIUS: f64 = 5.0;