shithub: leaf

--- 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">