From 1dea3a13d167f0002c9f82a627d333c9e7576241 Mon Sep 17 00:00:00 2001
From: jakubvrana <jakubvrana@7c3ca157-0c34-0410-bff1-cbf682f78f5c>
Date: Wed, 11 Jul 2007 10:56:43 +0000
Subject: [PATCH] body.onload is not yet available

git-svn-id: https://adminer.svn.sourceforge.net/svnroot/adminer/trunk@121 7c3ca157-0c34-0410-bff1-cbf682f78f5c
---
 design.inc.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/design.inc.php b/design.inc.php
index abd34502..61823f89 100644
--- a/design.inc.php
+++ b/design.inc.php
@@ -28,7 +28,7 @@ TABLE { margin-top: 1em; }
 <?php if ($_SESSION["highlight"] == "jush") { ?>
 <style type="text/css">@import url(http://jush.info/jush.css);</style>
 <script type="text/javascript" src="http://jush.info/jush.js" defer="defer"></script>
-<script type="text/javascript">body.onload = function () { jush.highlight_tag('pre'); }</script>
+<script type="text/javascript">window.onload = function () { jush.highlight_tag('pre'); }</script>
 <?php } ?>
 </head>