From bcac6d1f82e6b5daf2cb7dc979ed584995956b2a Mon Sep 17 00:00:00 2001
From: Mayhem <stepien.nicolas@gmail.com>
Date: Wed, 12 Feb 2014 15:36:03 +0100
Subject: [PATCH] Move the <time> in #nav-links, lose the brackets.

---
 html/General/Index-navlinks.html | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/html/General/Index-navlinks.html b/html/General/Index-navlinks.html
index 6655ac4a9..7ce89c93c 100644
--- a/html/General/Index-navlinks.html
+++ b/html/General/Index-navlinks.html
@@ -1,6 +1,7 @@
-[<time id="index-last-refresh" title="Last index refresh">...</time>]&nbsp;
 <input type="search" id="index-search" class="field" placeholder="Search">
 <a id="index-search-clear" class="fa fa-times-circle" href="javascript:;"></a>
+&nbsp;
+<time id="index-last-refresh" title="Last index refresh">...</time>
 <span id="hidden-label" hidden>&nbsp;&mdash; <span id="hidden-count"></span> <span id="hidden-toggle">[<a href="javascript:;">Show</a>]</span></span>
 <span style="flex:1"></span>
 <select id="index-mode" name="Index Mode">