summaryrefslogtreecommitdiff
path: root/prefs.php
diff options
context:
space:
mode:
Diffstat (limited to 'prefs.php')
-rw-r--r--prefs.php6
1 files changed, 4 insertions, 2 deletions
diff --git a/prefs.php b/prefs.php
index bf58aa3bd..908f66f2c 100644
--- a/prefs.php
+++ b/prefs.php
@@ -69,12 +69,14 @@
<body>
-<img id="piggie" src="images/piggie.png" style="display : none" alt="piggie">
-
<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">
+
<script type="text/javascript">
if (document.addEventListener) {
document.addEventListener("DOMContentLoaded", init, null);