Function row_bleed 

pub fn row_bleed(theme: &Theme) -> f64

How far a row’s hover and selection lift, and a zebra stripe, bleed past the column’s content edge on each side (s2).

One edge rule holds for every content list: a row’s text, a section’s title, a property list’s labels and a table’s first column all start on the column’s content edge, and the lift stands row_bleed outside it, so text never moves when its row is selected and a list lines up with the headings around it. A face takes the row’s outer rect (the content edge grown by the bleed); a retained row grows its own layout box by it.