changes to make add-ons manager more LCARS-style
authorRobert Kaiser <kairo@kairo.at>
Sun, 11 Jan 2015 02:34:10 +0000 (03:34 +0100)
committerRobert Kaiser <kairo@kairo.at>
Sun, 11 Jan 2015 02:34:10 +0000 (03:34 +0100)
LCARStrek/mozapps/extensions/extensions.css

index 8d0951084fbf44755fc14da135df49f8cd9d27cf..20797a38191adacc45293b96ebd80bc6422f164d 100644 (file)
@@ -4,6 +4,11 @@
 
 @import url("chrome://global/skin/inContentUI.css");
 
+#addons-page {
+  padding: 3px;
+  margin: 0;
+}
+
 .nav-button {
   list-style-image: url("chrome://communicator/skin/icons/communicatoricons.png");
 }
 /*** category selector ***/
 
 #categories {
-  -moz-appearance: none;
-  border: none;
-  -moz-margin-end: -1px;
-  background-color: transparent;
+  background-color: #A09090;
   position: relative;
-  margin-top: 31px;
+  padding-top: 31px;
+  margin: 0px;
+  border: none;
 }
 
 .category {
-  background-color: transparent;
-  color: #FF9F00;
+  background-color: #000000;
+  color: #FFCF00;
   min-height: 0;
   padding: 10px 4px;
-  border-width: 1px;
-  border-style: solid;
-  border-color: transparent;
   -moz-box-align: center;
   overflow: hidden;
 }
 
-.category:-moz-locale-dir(ltr) {
-  border-top-left-radius: 5px;
-  border-bottom-left-radius: 5px;
-}
-
-.category:-moz-locale-dir(rtl) {
-  border-top-right-radius: 5px;
-  border-bottom-right-radius: 5px;
+.category:not([disabled]):hover {
+  background-color: #FFCF00;
+  color: #000000;
 }
 
 .category[disabled] {
 .category[selected] {
   background-color: #008484;
   color: #FFCF00;
-  border-color: #9C9CFF;
 }
 
 .category-name {
   list-style-image: url("chrome://mozapps/skin/extensions/category-recent.png");
 }
 
+/*** main content ***/
+
+#addons-page > hbox {
+  /* This applied both to the header and the box surrounding the main content. */
+  background-color: #A09090;
+}
+
+.main-content {
+  background-color: #000000;
+  border: none;
+  border-top: 3px solid #000000;
+  -moz-border-start: 3px solid #000000;
+  border-radius: 1em 0 0 0;
+}
 
 /*** header ***/
 
 #header {
-  margin-bottom: 18px;
   height: 2em;
+  padding: 3px;
+  border-radius: 1em 0 0 0;
 }
 
 #header-search {
   color: #E7ADE7;
   border: 1px solid #9C9CFF;
   border-radius: 4px;
-  padding: 3px;
   background-color: #000000;
   margin: 0;
 }