ref: adff8a84ea9ea74abc7f375c02fd3e37c955250b
parent: 4266dc064d0f7b4422d5b6d30bd63fd2252e503d
author: Matthew Wang <mjw7@princeton.edu>
date: Fri Jan 8 07:41:14 EST 2021
use iframe-resizer content js
--- a/doxygen/header.html
+++ b/doxygen/header.html
@@ -17,6 +17,7 @@
<link href="$relpath^tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="$relpath^jquery.js"></script>
<script type="text/javascript" src="$relpath^dynsections.js"></script>
+ <script type="text/javascript" src="$relpath^../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
$treeview $search $mathjax
<link href="$relpath^$stylesheet" rel="stylesheet" type="text/css" />
@@ -25,21 +26,6 @@
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
-
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
-
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');-
- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
-
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
--- /dev/null
+++ b/doxygen/js/iframeResizer.contentWindow.min.js
@@ -1,0 +1,10 @@
+/*! iFrame Resizer (iframeSizer.contentWindow.min.js) - v4.2.11 - 2021-01-05
+ * Desc: Include this file in any page being loaded into an iframe
+ * to force the iframe to resize to the content size.
+ * Requires: iframeResizer.min.js on host page.
+ * Copyright: (c) 2021 David J. Bradshaw - dave@bradshaw.net
+ * License: MIT
+ */
+
+!function(u){if("undefined"!=typeof window){var n=!0,o=10,i="",r=0,a="",t=null,c="",s=!1,d={resize:1,click:1},l=128,f=!0,m=1,h="bodyOffset",g=h,p=!0,v="",y={},w=32,b=null,T=!1,E="[iFrameSizer]",O=E.length,S="",M={max:1,min:1,bodyScroll:1,documentElementScroll:1},I="child",N=!0,A=window.parent,C="*",z=0,k=!1,e=null,R=16,x=1,L="scroll",F=L,P=window,D=function(){re("onMessage function not defined")},j=function(){},q=function(){},H={height:function(){return re("Custom height calculation function not defined"),document.documentElement.offsetHeight},width:function(){return re("Custom width calculation function not defined"),document.body.scrollWidth}},W={},B=!1;try{var J=Object.create({},{passive:{get:function(){B=!0}}});window.addEventListener("test",ee,J),window.removeEventListener("test",ee,J)}catch(e){}var U,V,X,Y,K,Q,G=Date.now||function(){return(new Date).getTime()},Z={bodyOffset:function(){return document.body.offsetHeight+pe("marginTop")+pe("marginBottom")},offset:function(){return Z.bodyOffset()},bodyScroll:function(){return document.body.scrollHeight},custom:function(){return H.height()},documentElementOffset:function(){return document.documentElement.offsetHeight},documentElementScroll:function(){return document.documentElement.scrollHeight},max:function(){return Math.max.apply(null,ye(Z))},min:function(){return Math.min.apply(null,ye(Z))},grow:function(){return Z.max()},lowestElement:function(){return Math.max(Z.bodyOffset()||Z.documentElementOffset(),ve("bottom",be()))},taggedElement:function(){return we("bottom","data-iframe-height")}},$={bodyScroll:function(){return document.body.scrollWidth},bodyOffset:function(){return document.body.offsetWidth},custom:function(){return H.width()},documentElementScroll:function(){return document.documentElement.scrollWidth},documentElementOffset:function(){return document.documentElement.offsetWidth},scroll:function(){return Math.max($.bodyScroll(),$.documentElementScroll())},max:function(){return Math.max.apply(null,ye($))},min:function(){return Math.min.apply(null,ye($))},rightMostElement:function(){return ve("right",be())},taggedElement:function(){return we("right","data-iframe-width")}},_=(U=Te,K=null,Q=0,function(){var e=G(),t=R-(e-(Q=Q||e));return V=this,X=arguments,t<=0||R<t?(K&&(clearTimeout(K),K=null),Q=e,Y=U.apply(V,X),K||(V=X=null)):K=K||setTimeout(Ee,t),Y});te(window,"message",function(t){var n={init:function(){v=t.data,A=t.source,ae(),f=!1,setTimeout(function(){p=!1},l)},reset:function(){p?ie("Page reset ignored by init"):(ie("Page size reset by host page"),Me("resetPage"))},resize:function(){Oe("resizeParent","Parent window requested size check")},moveToAnchor:function(){y.findTarget(i())},inPageLink:function(){this.moveToAnchor()},pageInfo:function(){var e=i();ie("PageInfoFromParent called from parent: "+e),q(JSON.parse(e)),ie(" --")},message:function(){var e=i();ie("onMessage called from parent: "+e),D(JSON.parse(e)),ie(" --")}};function o(){return t.data.split("]")[1].split(":")[0]}function i(){return t.data.substr(t.data.indexOf(":")+1)}function r(){return t.data.split(":")[2]in{true:1,false:1}}function e(){var e=o();e in n?n[e]():("undefined"==typeof module||!module.exports)&&"iFrameResize"in window||"jQuery"in window&&"iFrameResize"in window.jQuery.prototype||r()||re("Unexpected message ("+t.data+")")}E===(""+t.data).substr(0,O)&&(!1===f?e():r()?n.init():ie('Ignored message of type "'+o()+'". Received before initialization.'))}),te(window,"readystatechange",Ae),te(window.document,"mouseenter",Ce),te(window.document,"mouseleave",Ce),Ae()}function ee(){}function te(e,t,n,o){e.addEventListener(t,n,!!B&&(o||{}))}function ne(e){return e.charAt(0).toUpperCase()+e.slice(1)}function oe(e){return E+"["+S+"] "+e}function ie(e){T&&"object"==typeof window.console&&console.log(oe(e))}function re(e){"object"==typeof window.console&&console.warn(oe(e))}function ae(){!function(){function e(e){return"true"===e}var t=v.substr(O).split(":");S=t[0],r=u!==t[1]?Number(t[1]):r,s=u!==t[2]?e(t[2]):s,T=u!==t[3]?e(t[3]):T,w=u!==t[4]?Number(t[4]):w,n=u!==t[6]?e(t[6]):n,a=t[7],g=u!==t\ No newline at end of file
+//# sourceMappingURL=iframeResizer.contentWindow.map
\ No newline at end of file
--- a/doxygen/leaf/annotated.html
+++ b/doxygen/leaf/annotated.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/basic-oscillators_8c-example.html
+++ b/doxygen/leaf/basic-oscillators_8c-example.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/classes.html
+++ b/doxygen/leaf/classes.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/d__fft__mayer_8h_source.html
+++ b/doxygen/leaf/d__fft__mayer_8h_source.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/dir_127e6aa213d41105176fe0c3bbb2560c.html
+++ b/doxygen/leaf/dir_127e6aa213d41105176fe0c3bbb2560c.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/dir_2638202b9749e6ce2c919e410b7e2f43.html
+++ b/doxygen/leaf/dir_2638202b9749e6ce2c919e410b7e2f43.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/dir_76a7f9c0effa62c8115652ccf2f83bfd.html
+++ b/doxygen/leaf/dir_76a7f9c0effa62c8115652ccf2f83bfd.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/dir_c32436ea5eb8693473f37766c9d9ff95.html
+++ b/doxygen/leaf/dir_c32436ea5eb8693473f37766c9d9ff95.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/examples.html
+++ b/doxygen/leaf/examples.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/files.html
+++ b/doxygen/leaf/files.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/functions.html
+++ b/doxygen/leaf/functions.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/functions_vars.html
+++ b/doxygen/leaf/functions_vars.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/globals.html
+++ b/doxygen/leaf/globals.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/globals_defs.html
+++ b/doxygen/leaf/globals_defs.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__analysis.html
+++ b/doxygen/leaf/group__analysis.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__delay.html
+++ b/doxygen/leaf/group__delay.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__distortion.html
+++ b/doxygen/leaf/group__distortion.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__dynamics.html
+++ b/doxygen/leaf/group__dynamics.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__effects.html
+++ b/doxygen/leaf/group__effects.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__electrical.html
+++ b/doxygen/leaf/group__electrical.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__envelopes.html
+++ b/doxygen/leaf/group__envelopes.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__filters.html
+++ b/doxygen/leaf/group__filters.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__instruments.html
+++ b/doxygen/leaf/group__instruments.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__leaf.html
+++ b/doxygen/leaf/group__leaf.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__math.html
+++ b/doxygen/leaf/group__math.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__mempool.html
+++ b/doxygen/leaf/group__mempool.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__midi.html
+++ b/doxygen/leaf/group__midi.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__oscillators.html
+++ b/doxygen/leaf/group__oscillators.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__physical.html
+++ b/doxygen/leaf/group__physical.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__reverb.html
+++ b/doxygen/leaf/group__reverb.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__sampling.html
+++ b/doxygen/leaf/group__sampling.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__t808cowbell.html
+++ b/doxygen/leaf/group__t808cowbell.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__t808hihat.html
+++ b/doxygen/leaf/group__t808hihat.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__t808kick.html
+++ b/doxygen/leaf/group__t808kick.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__t808snare.html
+++ b/doxygen/leaf/group__t808snare.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__t_m_b_sampler.html
+++ b/doxygen/leaf/group__t_m_b_sampler.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__tables.html
+++ b/doxygen/leaf/group__tables.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__tadsr.html
+++ b/doxygen/leaf/group__tadsr.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__tadsr3.html
+++ b/doxygen/leaf/group__tadsr3.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__tadsr4.html
+++ b/doxygen/leaf/group__tadsr4.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__tallpass.html
+++ b/doxygen/leaf/group__tallpass.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__tallpassdelay.html
+++ b/doxygen/leaf/group__tallpassdelay.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__tasdr2.html
+++ b/doxygen/leaf/group__tasdr2.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__tattackdetection.html
+++ b/doxygen/leaf/group__tattackdetection.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__tautosampler.html
+++ b/doxygen/leaf/group__tautosampler.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__tbiquad.html
+++ b/doxygen/leaf/group__tbiquad.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__tbuffer.html
+++ b/doxygen/leaf/group__tbuffer.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__tbutterworth.html
+++ b/doxygen/leaf/group__tbutterworth.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__tcompactwavetable.html
+++ b/doxygen/leaf/group__tcompactwavetable.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__tcomplexlivingstring.html
+++ b/doxygen/leaf/group__tcomplexlivingstring.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__tcompressor.html
+++ b/doxygen/leaf/group__tcompressor.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__tcrusher.html
+++ b/doxygen/leaf/group__tcrusher.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__tcycle.html
+++ b/doxygen/leaf/group__tcycle.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__tdattorroreverb.html
+++ b/doxygen/leaf/group__tdattorroreverb.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__tdelay.html
+++ b/doxygen/leaf/group__tdelay.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__tdiodefilter.html
+++ b/doxygen/leaf/group__tdiodefilter.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__tdualpitchdetector.html
+++ b/doxygen/leaf/group__tdualpitchdetector.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__tefficientsvf.html
+++ b/doxygen/leaf/group__tefficientsvf.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__tenvelope.html
+++ b/doxygen/leaf/group__tenvelope.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__tenvelopefollower.html
+++ b/doxygen/leaf/group__tenvelopefollower.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__tenvpd.html
+++ b/doxygen/leaf/group__tenvpd.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__texpsmooth.html
+++ b/doxygen/leaf/group__texpsmooth.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__tfeedbackleveler.html
+++ b/doxygen/leaf/group__tfeedbackleveler.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__tfir.html
+++ b/doxygen/leaf/group__tfir.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__tformantshifter.html
+++ b/doxygen/leaf/group__tformantshifter.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__thermitedelay.html
+++ b/doxygen/leaf/group__thermitedelay.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__thighpass.html
+++ b/doxygen/leaf/group__thighpass.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__tkarplusstrong.html
+++ b/doxygen/leaf/group__tkarplusstrong.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__tlineardelay.html
+++ b/doxygen/leaf/group__tlineardelay.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__tlivingstring.html
+++ b/doxygen/leaf/group__tlivingstring.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__tlockhartwavefolder.html
+++ b/doxygen/leaf/group__tlockhartwavefolder.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__tmbpulse.html
+++ b/doxygen/leaf/group__tmbpulse.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__tmbsaw.html
+++ b/doxygen/leaf/group__tmbsaw.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__tmbtriangle.html
+++ b/doxygen/leaf/group__tmbtriangle.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__tmedianfilter.html
+++ b/doxygen/leaf/group__tmedianfilter.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__tmempool.html
+++ b/doxygen/leaf/group__tmempool.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__tneuron.html
+++ b/doxygen/leaf/group__tneuron.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__tnoise.html
+++ b/doxygen/leaf/group__tnoise.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__tnreverb.html
+++ b/doxygen/leaf/group__tnreverb.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__tonepole.html
+++ b/doxygen/leaf/group__tonepole.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__tonezero.html
+++ b/doxygen/leaf/group__tonezero.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__toversampler.html
+++ b/doxygen/leaf/group__toversampler.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__tpbpulse.html
+++ b/doxygen/leaf/group__tpbpulse.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__tpbsaw.html
+++ b/doxygen/leaf/group__tpbsaw.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__tpbtriangle.html
+++ b/doxygen/leaf/group__tpbtriangle.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__tperioddetection.html
+++ b/doxygen/leaf/group__tperioddetection.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__tperioddetector.html
+++ b/doxygen/leaf/group__tperioddetector.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__tphasor.html
+++ b/doxygen/leaf/group__tphasor.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__tpitchdetector.html
+++ b/doxygen/leaf/group__tpitchdetector.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__tpitchshift.html
+++ b/doxygen/leaf/group__tpitchshift.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__tpluck.html
+++ b/doxygen/leaf/group__tpluck.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__tpolezero.html
+++ b/doxygen/leaf/group__tpolezero.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__tpoly.html
+++ b/doxygen/leaf/group__tpoly.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__tpowerfollower.html
+++ b/doxygen/leaf/group__tpowerfollower.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__tprcreverb.html
+++ b/doxygen/leaf/group__tprcreverb.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__tramp.html
+++ b/doxygen/leaf/group__tramp.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__trampupdown.html
+++ b/doxygen/leaf/group__trampupdown.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__treedtable.html
+++ b/doxygen/leaf/group__treedtable.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__tretune.html
+++ b/doxygen/leaf/group__tretune.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__tringbuffer.html
+++ b/doxygen/leaf/group__tringbuffer.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__trosenbergglottalpulse.html
+++ b/doxygen/leaf/group__trosenbergglottalpulse.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__tsampler.html
+++ b/doxygen/leaf/group__tsampler.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__tsamplereducer.html
+++ b/doxygen/leaf/group__tsamplereducer.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__tsawtooth.html
+++ b/doxygen/leaf/group__tsawtooth.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__tsimplelivingstring.html
+++ b/doxygen/leaf/group__tsimplelivingstring.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__tsimplepoly.html
+++ b/doxygen/leaf/group__tsimplepoly.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__tsimpleretune.html
+++ b/doxygen/leaf/group__tsimpleretune.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__tslide.html
+++ b/doxygen/leaf/group__tslide.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__tsnac.html
+++ b/doxygen/leaf/group__tsnac.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__tsolad.html
+++ b/doxygen/leaf/group__tsolad.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__tsquare.html
+++ b/doxygen/leaf/group__tsquare.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__tstack.html
+++ b/doxygen/leaf/group__tstack.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__tsvf.html
+++ b/doxygen/leaf/group__tsvf.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__ttable.html
+++ b/doxygen/leaf/group__ttable.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__ttalkbox.html
+++ b/doxygen/leaf/group__ttalkbox.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__ttalkboxfloat.html
+++ b/doxygen/leaf/group__ttalkboxfloat.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__ttapedelay.html
+++ b/doxygen/leaf/group__ttapedelay.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__tthreshold.html
+++ b/doxygen/leaf/group__tthreshold.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__ttriangle.html
+++ b/doxygen/leaf/group__ttriangle.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__ttwopole.html
+++ b/doxygen/leaf/group__ttwopole.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__ttwozero.html
+++ b/doxygen/leaf/group__ttwozero.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__tvocoder.html
+++ b/doxygen/leaf/group__tvocoder.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__tvzfilter.html
+++ b/doxygen/leaf/group__tvzfilter.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__twavetable.html
+++ b/doxygen/leaf/group__twavetable.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__twdf.html
+++ b/doxygen/leaf/group__twdf.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/group__tzerocrossingcounter.html
+++ b/doxygen/leaf/group__tzerocrossingcounter.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/index.html
+++ b/doxygen/leaf/index.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/leaf-analysis_8h_source.html
+++ b/doxygen/leaf/leaf-analysis_8h_source.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/leaf-config_8h.html
+++ b/doxygen/leaf/leaf-config_8h.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/leaf-config_8h_source.html
+++ b/doxygen/leaf/leaf-config_8h_source.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/leaf-delay_8h_source.html
+++ b/doxygen/leaf/leaf-delay_8h_source.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/leaf-distortion_8h_source.html
+++ b/doxygen/leaf/leaf-distortion_8h_source.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/leaf-dynamics_8h_source.html
+++ b/doxygen/leaf/leaf-dynamics_8h_source.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/leaf-effects_8h_source.html
+++ b/doxygen/leaf/leaf-effects_8h_source.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/leaf-electrical_8h_source.html
+++ b/doxygen/leaf/leaf-electrical_8h_source.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/leaf-envelopes_8h_source.html
+++ b/doxygen/leaf/leaf-envelopes_8h_source.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/leaf-filters_8h_source.html
+++ b/doxygen/leaf/leaf-filters_8h_source.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/leaf-global_8h_source.html
+++ b/doxygen/leaf/leaf-global_8h_source.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/leaf-instruments_8h_source.html
+++ b/doxygen/leaf/leaf-instruments_8h_source.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/leaf-math_8h_source.html
+++ b/doxygen/leaf/leaf-math_8h_source.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/leaf-mempool_8h_source.html
+++ b/doxygen/leaf/leaf-mempool_8h_source.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/leaf-midi_8h_source.html
+++ b/doxygen/leaf/leaf-midi_8h_source.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/leaf-oscillators_8h_source.html
+++ b/doxygen/leaf/leaf-oscillators_8h_source.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/leaf-physical_8h_source.html
+++ b/doxygen/leaf/leaf-physical_8h_source.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/leaf-reverb_8h_source.html
+++ b/doxygen/leaf/leaf-reverb_8h_source.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/leaf-sampling_8h_source.html
+++ b/doxygen/leaf/leaf-sampling_8h_source.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/leaf-tables_8h_source.html
+++ b/doxygen/leaf/leaf-tables_8h_source.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/leaf_8h_source.html
+++ b/doxygen/leaf/leaf_8h_source.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/modules.html
+++ b/doxygen/leaf/modules.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/struct_l_e_a_f.html
+++ b/doxygen/leaf/struct_l_e_a_f.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
--- a/doxygen/leaf/trigtbl_8h_source.html
+++ b/doxygen/leaf/trigtbl_8h_source.html
@@ -11,6 +11,7 @@
<link href="tabs.css" rel="stylesheet" type="text/css" />
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
+ <script type="text/javascript" src="../js/iframeResizer.contentWindow.min.js"></script>
<!-- <script src="/js/template.js"></script> -->
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/searchdata.js"></script>
@@ -25,17 +26,6 @@
<!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>
<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">
- <iframe id="helpframe" src='' height='0' width='0' frameborder='0'></iframe>
- <script type="text/javascript">
- function iframeResizePipe() {- // What's the page height?
- var height = document.body.scrollHeight;
- // Going to 'pipe' the data to the parent through the helpframe..
- var pipe = document.getElementById('helpframe');- // Cachebuster a precaution here to stop browser caching interfering
- pipe.src = 'https://nirl.princeton.edu/_helper.html?height=' + height + '&cacheb=' + Math.random();
- }
- </script>
<div>
<!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">