Hat ja niemand angebissen, also antworte ich mir selbst ;)
Eine *wesentlich* schnellere Version ist z.B.
function(hoehe)
{
var zeile = '';
for(var i = hoehe; --i;)
zeile += ' ';
for(zeile += '+'; hoehe--; zeile = (zeile + 'O+').substring(1))
document.write(zeile + '<br>');
}
Christoph