We weren't doing the right thing here. This is simpler, and works. Fixes: #4354
This adds the plumbing to parse the line-height property from CSS. Widgets are not picking it up yet.