From d5622f71ef49ac2313f5b98385bab231a9d64692 Mon Sep 17 00:00:00 2001
From: =?utf8?q?J=C3=A9r=C3=B4me=20Benoit?= <jerome.benoit@piment-noir.org>
Date: Mon, 15 Jan 2018 22:57:41 +0100
Subject: [PATCH] Further menu polishing.
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

Signed-off-by: Jérôme Benoit <jerome.benoit@piment-noir.org>
---
 includes/header.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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>
 
 
-- 
2.34.1