From 86a46f35fb10daec3dc8f23855317857d586dc5a Mon Sep 17 00:00:00 2001
From: Mayhem <stepien.nicolas@gmail.com>
Date: Mon, 11 Nov 2013 21:05:35 +0100
Subject: [PATCH] Move the last refresh timer, give the "field" class to the
 search input.

---
 css/style.css                    | 3 +++
 html/General/Index-navlinks.html | 4 ++--
 2 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/css/style.css b/css/style.css
index 07d983a9d..6ee0d31b1 100644
--- a/css/style.css
+++ b/css/style.css
@@ -32,6 +32,9 @@
   background-color: #F2F2F2;
   color: #888;
 }
+.field::-webkit-search-decoration {
+  display: none;
+}
 .move {
   cursor: move;
 }
diff --git a/html/General/Index-navlinks.html b/html/General/Index-navlinks.html
index dc185f087..7d3b04da7 100644
--- a/html/General/Index-navlinks.html
+++ b/html/General/Index-navlinks.html
@@ -1,3 +1,3 @@
-[<time id="index-last-refresh" title="Last index refresh" data-init="1">...</time>]&nbsp;
 [<a href="./catalog">Catalog</a>]&nbsp;
-<input type="search" id="index-search" placeholder="Search">
+[<time id="index-last-refresh" title="Last index refresh" data-init="1">...</time>]&nbsp;
+<input type="search" id="index-search" class="field" placeholder="Search">