box-sizing：border-box在safari中有点古怪？

Question

此代码：

<div class="green">
    <div class="red" style="height: 25%"></div> * 4
</div>

.red {
    border-top: 1px solid black;
    box-sizing: border-box;
}

...在IE8，Chrome 24和Firefox 18中看起来很好：

但是在Safari（5.1.7）中，我得到了一些额外不需要的底部边距/透明边框：

jsbin上的完整测试代码：http://jsbin.com/ozefar/6/edit

我在CSS中遗漏了什么？