Function control_box 

pub fn control_box(m: &Metrics) -> f32

The side of a stock control’s box — a checkbox, a radio’s circle, a switch’s height, a slider’s thumb — from the metrics’ control text, so compact and scaled move it with the stock button: 16 px at the comfortable density, 14 at the compact one.