ton></div>
                </div>

              </div>
              <div style="text-align: center; margin-top: 10px; margin-bottom: 5px;">
                <button onclick="saveShortcuts();">Save Changes</button>
              </div>


	  				</div>
	  				<div id="div_config_tabs_tab2">

	  					<div style="margin: 30px; height: auto; top: 0px; bottom: 0px; left: 0px; right: 0px;">
		                <div style="text-align: center;">
		                <div style="margin-bottom: 10px;">Interface font size<