Revision 583 (by dpavlin, 2004/11/02 17:17:51) fix iframe margins
 
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html>
<head>
	<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-2"/>
	<script type="text/javascript" src="../js/hide.js"></script>
	<script type="text/javascript" src="../tree-ids.js"></script>
	<script type="text/javascript" src="../js/getargs.js"></script>
	<script type="text/javascript" src="../js/popup.js"></script>
	<script type="text/javascript" src="../js/findpos.js"></script>
	<script type="text/javascript">


function outline_url() {
	var args = getArgs();
	var o = args['o'];

	if (o) {
		outline_display('o'+o);

		// following reloads page in Opera == not good
		//self.location = "#mfn"+o
		var e = element_id('o'+o);
		var w = self.window;
		if (e) {
			var y = findPosY(e);

			if (parent.element_id && parent.mfn_iframe) {
				var e2 = element_id('i'+parent.mfn_iframe[o]);
				if (e2) y += findPosY(e2);
				w = parent.window;
			}

			// position 30px above found term
			if (y > 30) y -= 30;
			if (e) w.scrollTo(findPosX(e),y);
		}
	}
	return true;
}

	</script>
	<link rel="stylesheet" href="../nodes.css" type="text/css">
</head>

<body marginheight="0" marginwidth="0" style="margin: 0;" onLoad="return outline_url();">

<ul>
[% node %]
</ul>

</body>
</html>