<html>
<head>
<title>Test for http://bugs.webkit.org/show_bug.cgi?id=12079</title>
<style type="text/css">
div.playground { position: relative; width: 90px; height: 90px; }
.red { background-color: yellow; }
.blue { background-color: blue; }
.green { background-color: green; }
.zero { height: 0; width: 60px; }
.half { height: 30px; width: 60px; }
.full { height: 60px; width: 60px; }
</style>
</head>
<body>
<div class="playground">
<div id="div1" class="blue zero"></div>
<div class="red half"></div>
<div class="green half"></div>
</div>
<div class="playground">
<div><div id="top" class="blue zero"></div></div>
<div class="red half"></div>
<div class="green half"></div>
</div>
<div class="playground">
<div id="div2" class="half"></div>
<div class="green half"></div>
<div class="red half"></div>
</div>
<div class="playground" style="margin-top: 30px;">
<div style="width: 10px; margin: auto;">
<div id="innerDiv" style="height: 15px"></div>
</div>
<div class="half"></div>
<div class="half" style="border-top: solid yellow 8px;"></div>
</div>
</body>
</html>