merge from 3.0 branch till 1769.

1 files changed, 4 insertions, 40 deletions

diff --git a/tests/test_tools/selenium/core/selenium.css b/tests/test_tools/selenium/core/selenium.css
index 963c63ad..f5240822 100644
--- a/tests/test_tools/selenium/core/selenium.css
+++ b/tests/test_tools/selenium/core/selenium.css
@@ -17,12 +17,12 @@
 /*---( Layout )---*/
 
 * {
-    margin: 0px;
-    padding: 0px;
 }
 
 body {
     overflow: auto;
+    margin: 0px;
+    padding: 0px;
 }
 
 td {
@@ -84,9 +84,6 @@ body, html {
     color: black;
 }
 
-#controlPanel button {
-    margin: 0.5ex;
-}
 
 #controlPanel table {
     font-size: 100%;
@@ -206,33 +203,6 @@ button, label {
     color: green;
 }
 
-table.selenium {
-    font-family: Verdana, Arial, sans-serif;
-    font-size: 12;
-    border-width: 1px 1px 1px 1px;
-    border-spacing: 2px;
-    border-style: solid none solid none;
-    border-color: gray gray gray gray;
-    border-collapse: separate;
-    background-color: white;
-}
-
-table.selenium th {
-    border-width: 1px 1px 1px 1px;
-    padding: 1px 1px 1px 1px;
-    border-style: none none none none;
-    border-color: gray gray gray gray;
-    -moz-border-radius: 0px 0px 0px 0px;
-}
-
-table.selenium td {
-    border-width: 1px 1px 1px 1px;
-    padding: 1px 1px 1px 1px;
-    border-style: none none none none;
-    border-color: gray gray gray gray;
-    -moz-border-radius: 0px 0px 0px 0px;
-}
-
 div.executionOptions {
     padding-left: 5em;
 }
@@ -259,10 +229,7 @@ div.executionOptions br {
     background-color: #333;
     width: 260px;
     height: 2px;
-    <!--[if IE]> 
-    height: 2px; 
-    line-height: 2px; 
-    <![endif]--> 
+    line-height: 2px;
     z-index: 1;
     border: 1px solid;
     border-color: #999 #ddd #ddd #999;
@@ -276,10 +243,7 @@ div.executionOptions br {
     position: relative;
     margin: 0px;
     height: 8px;
-    <!--[if IE]> 
-    height: 8px; 
-    line-height: 8px; 
-    <![endif]--> 
+    line-height: 8px;
     z-index: 1;
     border: 1px solid;
     border-color: #999 #333 #333 #999;