><div class="line"><a name="l00319"></a><span class="lineno">  319</span>&#160;      end</div><div class="line"><a name="l00320"></a><span class="lineno">  320</span>&#160;      newfonts = LocalScale(oldfonts,scale,5);</div><div class="line"><a name="l00321"></a><span class="lineno">  321</span>&#160;      <span class="keyword">set</span>(allFont,{<span class="stringliteral">&#39;FontSize&#39;</span>},newfonts);</div><div class="line"><a name="l00322"></a><span class="lineno">  322</span>&#160;     otherwis