20 |
row.style.margin = '0'; |
row.style.margin = '0'; |
21 |
row.style.padding = '0'; |
row.style.padding = '0'; |
22 |
row.style.wordSpacing = '0'; |
row.style.wordSpacing = '0'; |
23 |
row.style.height = '1.2em'; |
// row.style.height = '1.2em'; // XXX fix line spacing |
24 |
for (var i = 1; i <= width; i++) { |
for (var i = 1; i <= width; i++) { |
25 |
var charelem = document.createElement("pre"); |
var charelem = document.createElement("pre"); |
26 |
charelem.style.backgroundColor = '#000'; |
charelem.style.backgroundColor = '#000'; |