Remove a duplicate CSS rule from devtools.css

webkit/glue/devtools/js/devtools.css

Index: webkit/glue/devtools/js/devtools.css
diff --git a/webkit/glue/devtools/js/devtools.css b/webkit/glue/devtools/js/devtools.css
index 9490ad4f8e44664d6ffc1e3c79382d8f8079d9dd..e195fc67646dd10633e250e6d59b8ea6a8963e8f 100644
--- a/webkit/glue/devtools/js/devtools.css
+++ b/webkit/glue/devtools/js/devtools.css
@@ -139,7 +139,6 @@ select.status-bar-item:active {
     -webkit-border-image: url(Images/statusbarMenuButtonSelectedChromium.png) 0 17 0 2;
 }
 
-
 #drawer {
     background-image: url(Images/statusbarBottomBackgroundChromium.png);
 }
@@ -148,10 +147,6 @@ select.status-bar-item {
     -webkit-border-image: url(Images/statusbarMenuButtonChromium.png) 0 17 0 2;
 }
 
-select.status-bar-item:active {
-    -webkit-border-image: url(Images/statusbarMenuButtonSelectedChromium.png) 0 17 0 2;
-}
-
 .scope-bar li.selected {
     -webkit-box-shadow: 0px 0px 0px rgba(0, 0, 0, 0.0);
 }