Setting the line-height of the splitter in Vertical/HorizontalSplitPanel to 0px so the font size does not affect the splitter height, which causes odd rendering effects.

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

Review by: pdr@google.com

git-svn-id: https://google-web-toolkit.googlecode.com/svn/trunk@9650 8db76d5a-ed1c-0410-87a9-c151d255dfc7
diff --git a/user/src/com/google/gwt/user/theme/chrome/public/gwt/chrome/chrome.css b/user/src/com/google/gwt/user/theme/chrome/public/gwt/chrome/chrome.css
index e5c4412..1aeea05 100644
--- a/user/src/com/google/gwt/user/theme/chrome/public/gwt/chrome/chrome.css
+++ b/user/src/com/google/gwt/user/theme/chrome/public/gwt/chrome/chrome.css
@@ -230,6 +230,7 @@
   cursor: move;
   border: 0px; 
   background: #91c0ef url(images/vborder.png) repeat-y;
+  line-height: 0px;
 }
 .gwt-VerticalSplitPanel {
 }
@@ -237,6 +238,7 @@
   cursor: move;
   border: 0px; 
   background: #91c0ef url(images/hborder.png) repeat-x;
+  line-height: 0px;
 }
 
 .gwt-HTML {
diff --git a/user/src/com/google/gwt/user/theme/chrome/public/gwt/chrome/chrome_rtl.css b/user/src/com/google/gwt/user/theme/chrome/public/gwt/chrome/chrome_rtl.css
index 2f96f7a..903419c 100644
--- a/user/src/com/google/gwt/user/theme/chrome/public/gwt/chrome/chrome_rtl.css
+++ b/user/src/com/google/gwt/user/theme/chrome/public/gwt/chrome/chrome_rtl.css
@@ -230,6 +230,7 @@
   cursor: move;
   border: 0px; 
   background: #91c0ef url(images/vborder.png) repeat-y;
+  line-height: 0px;
 }
 .gwt-VerticalSplitPanel {
 }
@@ -237,6 +238,7 @@
   cursor: move;
   border: 0px; 
   background: #91c0ef url(images/hborder.png) repeat-x;
+  line-height: 0px;
 }
 
 .gwt-HTML {
diff --git a/user/src/com/google/gwt/user/theme/dark/public/gwt/dark/dark.css b/user/src/com/google/gwt/user/theme/dark/public/gwt/dark/dark.css
index aee9498..e28a3ac 100644
--- a/user/src/com/google/gwt/user/theme/dark/public/gwt/dark/dark.css
+++ b/user/src/com/google/gwt/user/theme/dark/public/gwt/dark/dark.css
@@ -213,6 +213,7 @@
   cursor: move;
   border: 0px; 
   background: #00CCFF;
+  line-height: 0px;
 }
 .gwt-VerticalSplitPanel {
 }
@@ -220,6 +221,7 @@
   cursor: move;
   border: 0px; 
   background: #00CCFF;
+  line-height: 0px;
 }
 
 .gwt-HTML {
diff --git a/user/src/com/google/gwt/user/theme/dark/public/gwt/dark/dark_rtl.css b/user/src/com/google/gwt/user/theme/dark/public/gwt/dark/dark_rtl.css
index ba74b9d..dd1e5fb 100644
--- a/user/src/com/google/gwt/user/theme/dark/public/gwt/dark/dark_rtl.css
+++ b/user/src/com/google/gwt/user/theme/dark/public/gwt/dark/dark_rtl.css
@@ -213,6 +213,7 @@
   cursor: move;
   border: 0px; 
   background: #00CCFF;
+  line-height: 0px;
 }
 .gwt-VerticalSplitPanel {
 }
@@ -220,6 +221,7 @@
   cursor: move;
   border: 0px; 
   background: #00CCFF;
+  line-height: 0px;
 }
 
 .gwt-HTML {
diff --git a/user/src/com/google/gwt/user/theme/standard/public/gwt/standard/standard.css b/user/src/com/google/gwt/user/theme/standard/public/gwt/standard/standard.css
index 2431e31..c991fc1 100644
--- a/user/src/com/google/gwt/user/theme/standard/public/gwt/standard/standard.css
+++ b/user/src/com/google/gwt/user/theme/standard/public/gwt/standard/standard.css
@@ -230,6 +230,7 @@
   cursor: move;
   border: 0px; 
   background: #91c0ef url(images/vborder.png) repeat-y;
+  line-height: 0px;
 }
 .gwt-VerticalSplitPanel {
 }
@@ -237,6 +238,7 @@
   cursor: move;
   border: 0px; 
   background: #91c0ef url(images/hborder.png) repeat-x;
+  line-height: 0px;
 }
 
 .gwt-HTML {
diff --git a/user/src/com/google/gwt/user/theme/standard/public/gwt/standard/standard_rtl.css b/user/src/com/google/gwt/user/theme/standard/public/gwt/standard/standard_rtl.css
index 01d10d9..de61132 100644
--- a/user/src/com/google/gwt/user/theme/standard/public/gwt/standard/standard_rtl.css
+++ b/user/src/com/google/gwt/user/theme/standard/public/gwt/standard/standard_rtl.css
@@ -230,6 +230,7 @@
   cursor: move;
   border: 0px; 
   background: #91c0ef url(images/vborder.png) repeat-y;
+  line-height: 0px;
 }
 .gwt-VerticalSplitPanel {
 }
@@ -237,6 +238,7 @@
   cursor: move;
   border: 0px; 
   background: #91c0ef url(images/hborder.png) repeat-x;
+  line-height: 0px;
 }
 
 .gwt-HTML {