);</div>
<div class="line"><a name="l00046"></a><span class="lineno">   46</span>&#160;  <a class="code" href="dynsections_8js.html#a8f7493ad859d4fbf2523917511ee7177">updateStripes</a>();</div>
<div class="line"><a name="l00047"></a><span class="lineno">   47</span>&#160;}</div>
<div class="ttc" id="namespacemain_html_a027916efc284622d928c1d8383917f6d"><div class="ttname"><a href="namespacemain.html#a027916efc284622d928c1d8383917f6d">main.l</a></div><div class="ttdeci">list l</div><div class="ttdef"><b>Defi