From: Jérôme Benoit <jerome.benoit@piment-noir.org>
Date: Mon, 15 Jan 2018 21:57:41 +0000 (+0100)
Subject: Further menu polishing.
X-Git-Url: https://git.piment-noir.org/?p=Project_webapp.git;a=commitdiff_plain;h=d5622f71ef49ac2313f5b98385bab231a9d64692

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 4e894a6..2e32552 100644
--- 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>