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.39.5