+ <noscript>
+ <div class="error"><?php echo
+ __("Your browser doesn't support Javascript, which is required
+ for this application to function properly. Please check your
+ browser settings.") ?></div>
+ </noscript>
+ </div>
+</div>
+
+<div id="hotkey_help_overlay" style="display : none" onclick="Element.hide(this)">
+ <?php rounded_table_start("hho"); ?>
+ <?php include "help/4.php" ?>
+ <?php rounded_table_end(); ?>
+</div>
+
+<img id="piggie" src="images/piggie.png" style="display : none" alt="piggie"/>