<div id="description">This tests for a bug where deleting a line break would change the size of monospace text.  Below you should see "helloworld" all in the same font.</div>
<div id="edit" style="font-family:monospace;" contenteditable="true">hello<div id="world">world</div></div>

<script>
if (window.testRunner)
    window.testRunner.dumpAsText();
div = document.getElementById("world");
window.getSelection().setPosition(div, 0);
document.execCommand("Delete");
if (window.testRunner)
    document.body.innerText = document.getElementById("description").innerText + "\n" + document.getElementById("edit").innerHTML;
</script>
