<div class="helpdiv" id="pages_pagenumsize">"Page number size" defines the parameter <br/> <i><strong>PageNumSize</strong></i> for the <em>Pages</em> Plugin/Add-on.<br/><br/><strong>Parameter description:</strong><br/>Size of page numbers in percent of the page height.<br/><br/><strong>Sample from configuration file:</strong><div class="samplecontents"><pre>&lt;PLUGIN src=&quot;pages&quot;&gt;
   &lt;PageNumSize value=&quot;10%&quot; /&gt;   
&lt;/PLUGIN&gt;</pre></div><br/><strong>Default Value:</strong> 8%</div>