From: Björn Jacke <bj@sernet.de>
Date: Sat, 25 Jul 2015 19:46:04 +0000 (+0200)
Subject: some css elements are standard now, now brwowser specific names needed for those
X-Git-Url: http://git.samba.org/?p=build-farm.git;a=commitdiff_plain;h=master

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 7a8e3fd0..83abeaa9 100644
--- 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);