// JavaScript Document
// ... iframe Größe dynamisch anpassen ...


var framefenster = document.getElementsByTagName("iframe");
var auto_resize_timer = window.setInterval("autoresize_frames()", 400);
function autoresize_frames() {
	for (var i = 0; i < framefenster.length; ++i) {
	if(framefenster[i].contentWindow.document.body){
		var framefenster_size = framefenster[i].contentWindow.document.body.offsetHeight;
	if(document.all && !window.opera) {
            framefenster_size = framefenster[i].contentWindow.document.body.scrollHeight;
		}
		framefenster[i].style.height = framefenster_size + 10 + 'px';
		}
	}
}