From 425f6a8de2ed66b934c16c102456b15da4ff5a14 Mon Sep 17 00:00:00 2001
From: Joey Hess <joey@gnu.kitenet.net>
Date: Thu, 15 Apr 2010 19:21:01 -0400
Subject: [PATCH] reduce border

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

diff --git a/doc/style.css b/doc/style.css
index bdd4bb466..44e06ae4f 100644
--- a/doc/style.css
+++ b/doc/style.css
@@ -236,7 +236,7 @@ div.recentchanges {
 	margin-top: -1px;
 	padding: 0ex 2ex;
 	background: white;
-	border: 2px solid black;
+	border: 1px solid black;
 	color: black !important;
 }
 
-- 
2.26.2