Index: chrome/browser/resources/plugins.css |
diff --git a/chrome/browser/resources/plugins.css b/chrome/browser/resources/plugins.css |
index 45f314e85eeb4de6a4aab13d192b049cdacfec64..4b700305ec02ee9b42d1d896f0c63b9a76daf357 100644 |
--- a/chrome/browser/resources/plugins.css |
+++ b/chrome/browser/resources/plugins.css |
@@ -152,26 +152,20 @@ body.show-tmi-mode .show-in-tmi-mode { |
width: 100%; |
} |
-.plugin-disabled > td { |
+.disabled { |
Evan Stade
2012/04/20 20:49:29
can you change the name of this so it's less gener
Bernhard Bauer
2012/04/23 07:26:08
Done.
|
background-color: #f0f0f0; |
color: #a0a0a0; |
- padding-bottom: 4px; |
- padding-top: 5px; |
} |
-.plugin-enabled > td { |
- padding-bottom: 4px; |
- padding-top: 5px; |
+.enabled { |
Evan Stade
2012/04/20 20:49:29
?
Bernhard Bauer
2012/04/23 07:26:08
Removed. I had forgotten to upload the updated ver
|
} |
-.plugin-file-disabled { |
- background-color: #f0f0f0; |
- color: #a0a0a0; |
- padding-bottom: 5px; |
+.plugin > tr > td { |
+ padding-bottom: 4px; |
padding-top: 5px; |
} |
-.plugin-file-enabled { |
+.plugin-file { |
padding-bottom: 5px; |
padding-top: 5px; |
} |