From 22f986f2b51b6255247ab388abc47940cce65c34 Mon Sep 17 00:00:00 2001
From: Dave Page <dpage@pgadmin.org>
Date: Tue, 28 Oct 2008 15:56:20 +0000
Subject: [PATCH] Fix border sizing [Greg Stark]

---
 www/css/planet.css | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/www/css/planet.css b/www/css/planet.css
index bd9daac..3c7ca87 100644
--- a/www/css/planet.css
+++ b/www/css/planet.css
@@ -8,7 +8,7 @@ body {
 }
 
 div#planetHeader {
-  width: 90%;
+  width: 100%;
   background: url(http://www.postgresql.org/layout/images/hdr_fill.png);
   padding: 0 0 0 0;
   height: 80px;
@@ -17,6 +17,7 @@ div#planetHeader {
 
 div#planetWrap {
   margin-left: 20px;
+  margin-right: 20px;
 }
 
 div#planetWrap img {
@@ -25,7 +26,7 @@ div#planetWrap img {
 }
 
 div#planetMain {
-  width: 90%;
+  width: 100%;
 }
 
 div#planetLeft {
-- 
2.39.5