<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)
testRunner.dumpAsText();
div = document.getElementById("world");
window.getSelection().collapse(div, 0);
document.execCommand("Delete");
if (window.testRunner)
document.body.innerText = document.getElementById("description").innerText + "\n" + document.getElementById("edit").innerHTML;
</script>