From debaf9edf4511d11667defd67ab1aad8c7e511a0 Mon Sep 17 00:00:00 2001
From: Raniere Silva <raniere@ime.unicamp.br>
Date: Fri, 18 Apr 2014 11:31:06 -0300
Subject: [PATCH] Fix btn-nav position due GitHub Ribbon

---
 bootstrap/bootstrap.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bootstrap/bootstrap.css b/bootstrap/bootstrap.css
index 8e4b383..1d9e5d2 100644
--- a/bootstrap/bootstrap.css
+++ b/bootstrap/bootstrap.css
@@ -4565,7 +4565,7 @@ input[type="submit"].btn.btn-mini {
   display: none;
   float: right;
   padding: 7px 10px;
-  margin-right: 5px;
+  margin-right: 100px;
   margin-left: 5px;
   color: #ffffff;
   text-shadow: 0 -1px 0 rgba(0, 0, 0, 0.25);