adopt both themes for changes affecting add-ons manager between Mozilla 6 and 7

[themes.git] / EarlyBlue / global / plugins.css

diff --git a/EarlyBlue/global/plugins.css b/EarlyBlue/global/plugins.css
index f69ba7e014f9c8e149ffed77cb206ecbe6740b31..cb4c76ddcf37b1325df9665c0bcc29b6c75bac5c 100644 (file)
--- a/EarlyBlue/global/plugins.css
+++ b/EarlyBlue/global/plugins.css
@@ -42,7 +42,7 @@
 body {
   background-color: #FFFFFF;
   color: #000000;
-  font: 12px helvetica,arial,tahoma,sans-serif;
+  font: 11px "Liberation Sans",Arial,Tahoma,Helvetica,sans-serif;
 }
 
 a:link, a:visited, a:active {
@@ -57,8 +57,8 @@ hr {
 div#outside {
  text-align: justify;
  width: 90%;
- margin-left: 5%;
- margin-right: 5%;
+ -moz-margin-start: 5%;
+ -moz-margin-end: 5%;
 }
 
 div#plugs {
@@ -85,7 +85,7 @@ div.plugname {
 }
 
 dl {
-  margin: 0px 0px 3px 0px;
+  margin: 0px 0px 3px;
 }
 
 span.label {
@@ -95,7 +95,6 @@ span.label {
 table {
   background-color: #CCD0DD;
   color: #000000;
-/*  font: message-box; */
   text-align: left;
   width: 100%;
   border: 1px solid #9999CC;
@@ -110,7 +109,7 @@ th {
 
 th + th,
 td + td {
-  border-left: 1px dotted #9999CC; 
+  border-left: 1px dotted #9999CC;
 }
 
 td {
@@ -123,13 +122,9 @@ th, td {
 }
 
 th.type, th.suff {
-  width: 20%;
+  width: 25%;
 }
 
 th.desc {
   width: 50%;
 }
-
-th.enabled {
-  width: 10%;
-}
\ No newline at end of file