Constant widgetry::svg::HIGH_QUALITY

pub const HIGH_QUALITY: f32 = 0.01;