// this plugin extends the controller itself
function settings_getIFrameDocument(aID){ 
    var rv = null; 
    var frame=document.getElementById(aID);
    // if contentDocument exists, W3C compliant (e.g. Mozilla) 

    if (frame.contentDocument)
        rv = frame.contentDocument;
    else // bad IE  ;)
        rv = document.frames[aID].document;
    return rv;
}

function settings_adjustMyFrameHeight(frameID)
{
    var frame = document.getElementById(frameID);
    var frameDoc = settings_getIFrameDocument(frameID);
    frame.height = frameDoc.body.offsetHeight+20;
}