| <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd"> |
| border-collapse: collapse; |
| testRunner.waitUntilDone(); |
| var console = document.getElementById('console'); |
| console.appendChild(document.createTextNode(msg)); |
| console.appendChild(document.createElement('br')); |
| var col = document.getElementById('colgroup').children[0]; |
| var oldCellWidth = getComputedStyle(document.getElementById('cell')).width; |
| col.style.width = "100px"; |
| var newCellWidth = getComputedStyle(document.getElementById('cell')).width; |
| log("Cell width was " + oldCellWidth); |
| log("Cell width is " + newCellWidth); |
| if (oldCellWidth != newCellWidth) |
| log("PASSED: Cell changed width"); |
| log("FAILED: Cell did not change width"); |
| <body onload="toggleWidth();"> |
| <col style="width: 50px"> |