Bug 626498: Selected category title text in add-ons manager should not be bold. r=Unfocused, a=beltzner
authorJennifer Boriss <jboriss@mozilla.com>
Thu, 20 Jan 2011 13:46:36 -0800
changeset 61081 40b7e12784d5ba27151b6b2f4ca72b79d55b50f2
parent 61080 4f296157ad3eca6a6662ead36fa7659de76373bb
child 61082 dbe700a4db442e49e7f79d6fc584f74b36576d04
push idunknown
push userunknown
push dateunknown
reviewersUnfocused, beltzner
bugs626498
milestone2.0b10pre
Bug 626498: Selected category title text in add-ons manager should not be bold. r=Unfocused, a=beltzner
toolkit/themes/gnomestripe/mozapps/extensions/extensions.css
toolkit/themes/pinstripe/mozapps/extensions/extensions.css
toolkit/themes/winstripe/mozapps/extensions/extensions.css
--- a/toolkit/themes/gnomestripe/mozapps/extensions/extensions.css
+++ b/toolkit/themes/gnomestripe/mozapps/extensions/extensions.css
@@ -206,17 +206,16 @@
   -moz-transition-property: height, opacity;
   -moz-transition-duration: 1s, 0.8s;
 }
 
 .category[selected] {
   background-color: -moz-Field;
   color: -moz-FieldText;
   border-color: ThreeDShadow;
-  font-weight: bold;
 }
 
 .category-name {
   font-size: 150%;
 }
 
 /* Maximize the size of the viewport when the window is small */
 @media all and (max-width: 800px) {
--- a/toolkit/themes/pinstripe/mozapps/extensions/extensions.css
+++ b/toolkit/themes/pinstripe/mozapps/extensions/extensions.css
@@ -226,17 +226,16 @@
   height: 52px;
   -moz-transition-property: height, opacity;
   -moz-transition-duration: 1s, 0.8s;
 }
 
 .category[selected] {
   background-color: rgba(255, 255, 255, 0.35);
   color: -moz-dialogtext;
-  font-weight: bold;
   border-color: rgba(50, 65, 92, 0.4);
   -moz-border-end-color: #C9CFD7;
 }
 
 .category-name {
   font-size: 150%;
 }
 
--- a/toolkit/themes/winstripe/mozapps/extensions/extensions.css
+++ b/toolkit/themes/winstripe/mozapps/extensions/extensions.css
@@ -291,17 +291,16 @@
   height: 52px;
   -moz-transition-property: height, opacity;
   -moz-transition-duration: 1s, 0.8s;
 }
 
 .category[selected] {
   background-color: rgba(255, 255, 255, 0.4);
   color: #252F3B;
-  font-weight: bold;
   border-color: #C3CEDF;
   -moz-border-end-color: #E2E9F2;
 }
 
 .category-name {
   font-size: 150%;
 }