Revision 583 (by dpavlin, 2004/11/02 17:17:51) fix iframe margins
 
<html>
<head>
 <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-2"/>
 <script type="text/javascript" src="../bfilter/hide.js"></script>
 <script type="text/javascript" src="../[% 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);
		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);
			}

			// position 30px above found term
			if (y > 30) y -= 30;
			if (e) window.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>