Some experiments with line heights.
Added filled xXxX... lines around to see inter-line spacing.
=> CM respects padding & margins on widgets but not normal highlight;
   can still add vertical space by using line-height > font-size.
Add line with simple formulas.