Further menu polishing.
[Project_webapp.git] / includes / header.php
index 1aa4c02772c619492a6f2fc07f678bedc99ef26d..2e32552db9b69ea1d17e2cc45623f82ca953a456 100644 (file)
@@ -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>