Since the tabzilla CSS didn't intend for `box-sizing: border-box`, I flipped it back to the default.