From cf1b8f07699781b686ad88dfa513f9a7ed8103b8 Mon Sep 17 00:00:00 2001
From: Eitaro Fukamachi <e.arrows@gmail.com>
Date: Wed, 22 Jul 2015 17:59:29 +0900
Subject: [PATCH] Tweak styles of header buttons.

---
 static/css/main.css | 17 ++++++++++-------
 1 file changed, 10 insertions(+), 7 deletions(-)

diff --git a/static/css/main.css b/static/css/main.css
index 0b089c9..8e5d45e 100644
--- a/static/css/main.css
+++ b/static/css/main.css
@@ -597,17 +597,20 @@ header .header-links {
 }
 header .header-links a {
   display: inline-block;
-  padding: 10px 15px;
-  border-radius: 4px;
+  margin-top: 2px;
+  padding: 8px 12px;
+  border-radius: 3px;
   color: white;
   background: #6fbf42;
-  background: -webkit-gradient(linear, left top, left bottom, color-stop(0, #6fbf42), color-stop(1, #4e872e));
-  background: -ms-linear-gradient(top, #6fbf42, #4e872e);
-  background: -moz-linear-gradient(center top, #6fbf42 0%, #4e872e 100%);
-  background: -o-linear-gradient(#6fbf42, #4e872e);
-  filter: progid:DXImageTransform.Microsoft.gradient(startColorstr='#6fbf42', endColorstr='#4e872e', GradientType=0);
   text-decoration: none;
 }
+header .header-links a:hover {
+  transition-duration: 0.1s;
+  -moz-transition-duration: 0.1s;
+  -webkit-transition-duration: 0.1s;
+  -o-transition-duration: 0.1s;
+  background: #70c855;
+}
 header .search-query {
   display: inline-block;
   margin: 6px 0 0 10px;