From e9bdb018771e29112d9d806148aedb0c68995c7a Mon Sep 17 00:00:00 2001
From: Mike Gerwitz <mikegerwitz@gnu.org>
Date: Fri, 14 Mar 2014 20:30:41 -0400
Subject: [PATCH] Improved download button style (padding, font size)

---
 style.css | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/style.css b/style.css
index a5509bb..0e81001 100644
--- a/style.css
+++ b/style.css
@@ -187,7 +187,7 @@ body.source #source a {
   text-align:      center;
   text-shadow:     black 0px 0px 1px;
 
-  padding: 0.25em 0.5em;
+  padding: 0.5em;
 
   border:            1px solid #ce5c00;
   border-radius:      0.25em;
@@ -289,7 +289,10 @@ span.shell-start {
 }
 
 .btn.download .note {
-  font-size:  0.4em;
+  position: relative;
+  top: 0.55em;
+
+  font-size:  0.45em;
   font-style: italic;
 }