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

[themes.git] / LCARStrek / mozapps / extensions / extensions.css

diff --git a/LCARStrek/mozapps/extensions/extensions.css b/LCARStrek/mozapps/extensions/extensions.css
index 9e5a783a93e352bb6ca8e3a753a7e14958512692..254c07eb8b4d5b1ea4812312266f29238e304526 100644 (file)
--- a/LCARStrek/mozapps/extensions/extensions.css
+++ b/LCARStrek/mozapps/extensions/extensions.css
@@ -35,22 +35,9 @@
  *
  * ***** END LICENSE BLOCK ***** */
 
-@namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul");
+@import url("chrome://global/skin/inContentUI.css");
 
-#addons-page {
-  background-color: #000000;
-  color: #FF9F00;
-  margin: 20px;
-}
-
-#view-port-container {
-  /* Needed to allow the radius to clip the inner content, see bug 595656 */
-  /* Disabled because of bug 623615
-  overflow: hidden;
-  */
-  border: 1px solid #9C9CFF;
-  border-radius: 5px;
-}
+@namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul");
 
 .nav-button {
   list-style-image: url("chrome://communicator/skin/icons/communicatoricons.png");
@@ -861,19 +848,22 @@
   margin-bottom: 2em;
 }
 
+#detail-grid > columns > column:first-child {
+  max-width: 25em;
+}
+
 .detail-row[first-row="true"],
-.detail-row-complex[first-row="true"] {
+.detail-row-complex[first-row="true"],
+setting[first-row="true"] {
   border-top: none;
 }
 
 .detail-row,
-.detail-row-complex {
+.detail-row-complex,
+setting {
   border-top: 1px solid #9C9CFF;
   -moz-box-align: center;
-}
-
-.detail-row-value {
-  -moz-margin-start: 0;
+  min-height: 30px;
 }
 
 #detail-controls {
@@ -884,6 +874,25 @@
   /* background-color: foo; */
 }
 
+setting[first-row="true"] {
+  margin-top: 2em;
+}
+
+.preferences-description {
+  font-size: 90.9%;
+  color: #808080;
+  margin-top: -2px;
+  -moz-margin-start: 2em;
+}
+
+setting[type="string"] > .setting-input > textbox {
+  -moz-box-flex: 1;
+}
+
+menulist { /* Fixes some styling inconsistencies */
+  margin: 1px 5px 2px 5px;
+}
+
 /*** creator ***/
 
 .creator > label {
@@ -899,7 +908,6 @@
 /*** rating ***/
 
 .meta-rating {
-  -moz-margin-start: 0;
   -moz-margin-end: 0;
   padding-top: 2px;
 }
@@ -1031,6 +1039,12 @@
   display: none;
 }
 
+setting[type="color"] colorpicker[type="button"] {
+/*  margin: 1px 5px 2px 5px;
+  padding: 3px;
+  height: 25px; */
+}
+
 .button-link {
   background: transparent;
   border: none;