got it. (Don't think there's any other option for IE9 since `box-sizing: border-box` is broken there.)