some css elements are standard now, now brwowser specific names needed for those

diff --git a/web/build_farm.css b/web/build_farm.css
index 7a8e3fd09039cf49e787665eac587d593c5aaab5..83abeaa989cfd3bcfaea5ed9934b1eecffc463a4 100644 (file)
--- a/web/build_farm.css
+++ b/web/build_farm.css
@@ -300,7 +300,7 @@ table.buildtable td{
 
 pre::-webkit-scrollbar-track
 {
-       -webkit-box-shadow: inset 0 0 6px rgba(0,0,0,0.3);
+       box-shadow: inset 0 0 6px rgba(0,0,0,0.3);
        border-radius: 10px;
        background-color: #F5F5F5;
 }
@@ -314,7 +314,7 @@ pre::-webkit-scrollbar
 pre::-webkit-scrollbar-thumb
 {
        border-radius: 10px;
-       -webkit-box-shadow: inset 0 0 6px rgba(0,0,0,.3);
+       box-shadow: inset 0 0 6px rgba(0,0,0,.3);
        background-color: #D62929;
 }
 
@@ -386,19 +386,13 @@ pre::-webkit-scrollbar-thumb
        width: 110px;
 
        margin: 0;
-       -webkit-border-radius:4px;
-       -moz-border-radius:4px;
        border-radius:4px;
-       -webkit-box-shadow: 0 3px 0 #ccc, 0 -1px #fff inset;
-       -moz-box-shadow: 0 3px 0 #ccc, 0 -1px #fff inset;
        box-shadow: 0 3px 0 #ccc, 0 -1px #fff inset;
        background: #d9d9d9;
        color:#333333;
        border:none;
        outline:none;
        display: inline-block;
-       -webkit-appearance:none;
-       -moz-appearance:none;
        appearance:none;
        cursor:pointer;
 }
@@ -406,7 +400,7 @@ pre::-webkit-scrollbar-thumb
 .newform button,
 .newform input,
 #newbuildmenu input{
-       border: 1px solid #df0909; -webkit-border-radius: 3px; -moz-border-radius: 3px;border-radius: 3px;font-size:12px;font-family:arial, helvetica, sans-serif; padding: 0px 2px 0px 2px; text-decoration:none; display:inline-block;text-shadow: -1px -1px 0 rgba(0,0,0,0.3);font-weight:bold; color: #FFFFFF;
+       border: 1px solid #df0909; border-radius: 3px;font-size:12px;font-family:arial, helvetica, sans-serif; padding: 0px 2px 0px 2px; text-decoration:none; display:inline-block;text-shadow: -1px -1px 0 rgba(0,0,0,0.3);font-weight:bold; color: #FFFFFF;
        background-color: #f62b2b; background-image: -webkit-gradient(linear, left top, left bottom, from(#f62b2b), to(#d20202));
        background-image: -webkit-linear-gradient(top, #f62b2b, #d20202);
        background-image: -moz-linear-gradient(top, #f62b2b, #d20202);