Further menu polishing.

Signed-off-by: Jérôme Benoit <jerome.benoit@piment-noir.org>

diff --git a/includes/header.php b/includes/header.php
index 4e894a6248482f56c5845c35ece879ee09e86d37..2e32552db9b69ea1d17e2cc45623f82ca953a456 100644 (file)
--- a/includes/header.php
+++ b/includes/header.php
@@ -32,8 +32,8 @@ $is_logged_in = chk_logged_in();
     ?>
 </div>
 <div id="menu">
-    | <a href="<?php echo $configs['root_url'] ?>/index.php?page=home">Accueil</a> |
-    <a href="<?php echo $configs['root_url'] ?>/index.php?page=search">Rechercher un vol</a>
+    | <a href="<?php echo $configs['root_url'] ?>/index.php?page=home">Accueil</a>
+    | <a href="<?php echo $configs['root_url'] ?>/index.php?page=search">Rechercher un vol</a> |
 </div>