Do not display pointer over disabled buttons

1 files changed, 10 insertions, 10 deletions

diff --git a/sonar-server/src/main/webapp/stylesheets/style.css b/sonar-server/src/main/webapp/stylesheets/style.css
index 0f9cf7c295a..d267c7ff5e9 100644
--- a/sonar-server/src/main/webapp/stylesheets/style.css
+++ b/sonar-server/src/main/webapp/stylesheets/style.css
@@ -291,7 +291,7 @@ em {
 
 a.external {
 	background: url('../images/links/external.png') no-repeat 100% 0;
-	padding: 0 16px 0px 0;
+	padding: 0 16px 0 0;
 }
 .fav {
   display: inline-block;
@@ -316,17 +316,17 @@ button, .button, input[type="submit"], input[type="button"] {
   
   cursor: pointer;
   outline: none;
-  margin: 0 2px;
+  margin: 0 1px;
   padding: 2px 10px;
   -webkit-border-radius: .5em; 
   -moz-border-radius: .5em;
   border-radius: .5em;
-  -webkit-box-shadow: 0 1px 2px rgba(0,0,0,.2);
-  -moz-box-shadow: 0 1px 2px rgba(0,0,0,.2);
-  box-shadow: 0 1px 2px rgba(0,0,0,.2);
+  -webkit-box-shadow: 0 1px 1px rgba(0,0,0,0.1);
+  -moz-box-shadow: 0 1px 1px rgba(0,0,0,0.1);
+  box-shadow: 0 1px 1px rgba(0,0,0,0.1);
   
   color: #333333;
-  border: solid 1px #EBEBEB;
+  border: 1px solid #EBEBEB;
   background: #EBEBEB;
   background: -webkit-gradient(linear, left top, left bottom, from(#FFFFFF), to(#E1E1E1));
   background: -moz-linear-gradient(top,  #FFFFFF,  #E1E1E1);
@@ -345,7 +345,7 @@ button:hover, .button:hover, input[type="submit"]:hover, input[type="button"]:ho
   text-decoration: none;
   text-shadow: -1px -1px 0 rgba(0, 0, 0, 0.3);
   color: #FFFFFF;
-  border: solid 1px #0770A0;
+  border: 1px solid #0770A0;
   background: #007ead;
   background: -webkit-gradient(linear, left top, left bottom, from(#0CA6DD), to(#0770A0));
   background: -moz-linear-gradient(top,  #0CA6DD,  #0770A0);
@@ -380,7 +380,7 @@ button:active, .button:active, input[type="submit"]:active, input[type="button"]
 button[disabled], .button[disabled], input[type="submit"][disabled], input[type="button"][disabled], 
 .red-button[disabled] {
   position: relative;
-  top: 0px;
+  top: 0;
   text-shadow: 1px 1px 0 #FFFFFF;
   color: #BBBBBB;
   border: solid 1px #EBEBEB;
@@ -388,9 +388,10 @@ button[disabled], .button[disabled], input[type="submit"][disabled], input[type=
   background: -webkit-gradient(linear, left top, left bottom, from(#FFFFFF), to(#E1E1E1));
   background: -moz-linear-gradient(top,  #FFFFFF,  #E1E1E1);
   filter:  progid:DXImageTransform.Microsoft.gradient(startColorstr='#FFFFFF', endColorstr='#E1E1E1');
+  cursor: default;
 }
 
-*/
+
 /* ------------------- PAGE ------------------- */
 h1 {
   color: #444;
@@ -1261,7 +1262,6 @@ table.header1 td {
 	margin: 0 0 10px 0;
   line-height: 30px;
   height: 30px;
-  width: 100%;
 }
 ul.headerLine li {
   float: left;