Ok, the newbie figured it out for himself (though it took waaaay too long) after finding a few lines of code in style-default.css that we re specific to IE (whodathunk, right? – Honestly, in my naivety I am disappointed that one has to code differently for variations in browsers. Talk about tedious.) Aynway. Thx
