Adding vertical padding to hborder.png in the new Clean style theme to handle large Buttons/DatePickers.  Currently, the sprited background images are much too short, so other background sprites will bleed into a button and date picker cells over ~40px tall.

Review at http://gwt-code-reviews.appspot.com/1368808

Review by: pdr@google.com

git-svn-id: https://google-web-toolkit.googlecode.com/svn/trunk@9831 8db76d5a-ed1c-0410-87a9-c151d255dfc7
diff --git a/user/src/com/google/gwt/user/theme/clean/public/gwt/clean/clean.css b/user/src/com/google/gwt/user/theme/clean/public/gwt/clean/clean.css
index 5756559..a38fca6 100644
--- a/user/src/com/google/gwt/user/theme/clean/public/gwt/clean/clean.css
+++ b/user/src/com/google/gwt/user/theme/clean/public/gwt/clean/clean.css
@@ -169,7 +169,7 @@
   background: white;
 }
 .gwt-DialogBox .dialogBottomCenter {
-  background: url(images/hborder.png) repeat-x 0px -2145px;
+  background: url(images/hborder.png) repeat-x 0px -2945px;
   -background: url(images/hborder_ie6.png) repeat-x 0px -2144px;
 }
 .gwt-DialogBox .dialogMiddleLeft {
@@ -454,10 +454,10 @@
   background: #f1f1f1;
 }
 .gwt-DecoratedPopupPanel .popupTopCenter {
-  background: url(images/hborder.png) 0px -2137px repeat-x;
+  background: url(images/hborder.png) 0px -2937px repeat-x;
 }
 .gwt-DecoratedPopupPanel .popupBottomCenter {
-  background:  url(images/hborder.png) repeat-x 0px -2138px;
+  background:  url(images/hborder.png) repeat-x 0px -2938px;
   -background: url(images/hborder_ie6.png) repeat-x 0px -2138px;
 }
 .gwt-DecoratedPopupPanel .popupMiddleLeft {
@@ -1143,11 +1143,6 @@
   cursor: hand;
   cursor: pointer;
 }
-.datePickerDayIsToday {
-  padding: 3px;
-  color:#fff;
-  background: url(images/hborder.png) repeat-x 0px -2107px;
-}
 .datePickerDayIsWeekend {
   background: #f7f7f7;
 }
@@ -1171,7 +1166,7 @@
 .datePickerDayIsToday {
   padding: 3px;
   color: #fff;
-  background: url(images/hborder.png) repeat-x 0px -2107px;
+  background: url(images/hborder.png) repeat-x 0px -2607px;
 }
 
 .datePickerMonthSelector {
diff --git a/user/src/com/google/gwt/user/theme/clean/public/gwt/clean/clean_rtl.css b/user/src/com/google/gwt/user/theme/clean/public/gwt/clean/clean_rtl.css
index 5958194..89a2e85 100644
--- a/user/src/com/google/gwt/user/theme/clean/public/gwt/clean/clean_rtl.css
+++ b/user/src/com/google/gwt/user/theme/clean/public/gwt/clean/clean_rtl.css
@@ -169,7 +169,7 @@
   background: white;
 }
 .gwt-DialogBox .dialogBottomCenter {
-  background: url(images/hborder.png) repeat-x 0px -2145px;
+  background: url(images/hborder.png) repeat-x 0px -2945px;
   -background: url(images/hborder_ie6.png) repeat-x 0px -2144px;
 }
 .gwt-DialogBox .dialogMiddleLeft {
@@ -454,10 +454,10 @@
   background: #f1f1f1;
 }
 .gwt-DecoratedPopupPanel .popupTopCenter {
-  background: url(images/hborder.png) 0px -2137px repeat-x;
+  background: url(images/hborder.png) 0px -2937px repeat-x;
 }
 .gwt-DecoratedPopupPanel .popupBottomCenter {
-  background:  url(images/hborder.png) repeat-x 0px -2138px;
+  background:  url(images/hborder.png) repeat-x 0px -2938px;
   -background: url(images/hborder_ie6.png) repeat-x 0px -2138px;
 }
 .gwt-DecoratedPopupPanel .popupMiddleLeft {
@@ -1144,11 +1144,6 @@
   cursor: hand;
   cursor: pointer;
 }
-.datePickerDayIsToday {
-  padding: 3px;
-  color:#fff;
-  background: url(images/hborder.png) repeat-x 0px -2107px;
-}
 .datePickerDayIsWeekend {
   background: #f7f7f7;
 }
@@ -1172,7 +1167,7 @@
 .datePickerDayIsToday {
   padding: 3px;
   color: #fff;
-  background: url(images/hborder.png) repeat-x 0px -2107px;
+  background: url(images/hborder.png) repeat-x 0px -2607px;
 }
 
 .datePickerMonthSelector {
diff --git a/user/src/com/google/gwt/user/theme/clean/public/gwt/clean/images/hborder.png b/user/src/com/google/gwt/user/theme/clean/public/gwt/clean/images/hborder.png
index 30d4406..ec58ae6 100755
--- a/user/src/com/google/gwt/user/theme/clean/public/gwt/clean/images/hborder.png
+++ b/user/src/com/google/gwt/user/theme/clean/public/gwt/clean/images/hborder.png
Binary files differ