f="tools_skin.html">Changing the skin</a></li>
      <li class="menu2"><a href="tools_sound.html">Sound in TuxGuitar</a></li>
      <li class="menu2"><a href="tools_shortcuts.html">Default shortcuts</a></li>
      <li class="menu2"><a href="tools_keybinding.html">Shortcut editor</a></li>
      <li class="menu2"><a href="tools_plugins.html">Plugins dialog</a></li>
      <li class="menu2"><a href="tools_converter.html">Batch File Converter</a></li>
      <li class="menu1"><a href="file_formats.html">Supported