From 0e44eb9ae0312c22ba3188ad52f6c1addfb8aa1e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9bastien=20Lucas?= <sebastien@slucas.fr>
Date: Thu, 16 May 2013 06:59:34 +0200
Subject: [PATCH] Fix the toolbox.

---
 index.php | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/index.php b/index.php
index b03e69d..168f4d9 100644
--- a/index.php
+++ b/index.php
@@ -160,8 +160,7 @@
         </a>
         <img class="headright" id="searchImage" src="<?php echo getUrlWithVersion("images/setting64.png") ?>" alt="Settings and menu" />
         <h1><?php echo htmlspecialchars ($currentPage->title) ?></h1>
-    </header>
-    <aside id="tool" <?php if ($withToolbar) echo 'style="display: none"' ?>>
+    <div id="tool" <?php if ($withToolbar) echo 'style="display: none"' ?>>
         <div style="float: left; width: 60%">
             <form action="index.php" method="get">
                 <div style="float: right">
@@ -196,7 +195,8 @@
             </div>
         </div>
 <?php } ?>
-    </aside>
+    </div>
+    </header>
     <div id="content" style="display: none;"></div>
     <section>
 <?php