[gwt-contrib] Adding vertical padding to hborder.png in the new Clean style theme to handle large Buttons/Date... (issue1368808)

[jlabanca]

Reviewers: pdr,

Description:
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.

Please review this at http://gwt-code-reviews.appspot.com/1368808/

Affected files:
  M user/src/com/google/gwt/user/theme/clean/public/gwt/clean/clean.css
  M user/src/com/google/gwt/user/theme/clean/public/gwt/clean/clean_rtl.css


Index: user/src/com/google/gwt/user/theme/clean/public/gwt/clean/clean.css
===================================================================
--- user/src/com/google/gwt/user/theme/clean/public/gwt/clean/clean.css	 
(revision 9825)
+++ user/src/com/google/gwt/user/theme/clean/public/gwt/clean/clean.css	 
(working copy)
@@ -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 {
Index:  
user/src/com/google/gwt/user/theme/clean/public/gwt/clean/clean_rtl.css
===================================================================
--- user/src/com/google/gwt/user/theme/clean/public/gwt/clean/clean_rtl.css	 
(revision 9825)
+++ user/src/com/google/gwt/user/theme/clean/public/gwt/clean/clean_rtl.css	 
(working copy)
@@ -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 {


--
http://groups.google.com/group/Google-Web-Toolkit-Contributors