From aac39bc1c16d5a1d9aaa99846ce4fcc8e3d11d21 Mon Sep 17 00:00:00 2001
From: Pim Snel <post@pimsnel.com>
Date: Sun, 22 Jan 2023 18:32:25 +0100
Subject: [PATCH] fix header buttons right

---
 index.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/index.html b/index.html
index 8e5a829..23cb043 100644
--- a/index.html
+++ b/index.html
@@ -34,7 +34,7 @@
           </a>
         </li>
 
-        <li class="" style="margin-left:5px;padding-top:4px;" role="">
+        <li class="" style="margin-left:9px;padding-top:4px;" role="">
           <iframe style="width:51px;" src="https://ghbtns.com/github-btn.html?user=mipmip&repo=home-manager-option-search&type=star&count=false&text=true" frameborder="0" scrolling="0" width="150" height="20" title="GitHub"></iframe>
         </li>
       </nav>