From b603f72ddc03b3dea1e90e6c299b3c62b0bbbf17 Mon Sep 17 00:00:00 2001
From: Mark Crane <markjcrane@gmail.com>
Date: Sun, 20 Apr 2014 02:47:32 +0000
Subject: [PATCH] Round the menu bar corner by one more pixel

---
 themes/enhanced/template.php | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/themes/enhanced/template.php b/themes/enhanced/template.php
index 552742df44..e753f631cf 100644
--- a/themes/enhanced/template.php
+++ b/themes/enhanced/template.php
@@ -382,10 +382,10 @@ table tr:nth-last-child(-5) td:first-of-type {
 
 	.menu_bar {
 		background-image: url('<!--{project_path}-->/themes/enhanced/images/background_black.png');
-		-webkit-border-radius: 3px 3px 3px 3px;
-		-moz-border-radius: 3px 3px 3px 3px;
-		border-radius: 3px 3px 3px 3px;
-		padding: 3px;
+		-webkit-border-radius: 4px 4px 4px 4px;
+		-moz-border-radius: 4px 4px 4px 4px;
+		border-radius: 4px 4px 4px 4px;
+		padding: 4px;
 	}
 
 	.menu_bg {