Bug 680077 - Use px units for tab bar styles on Android [r=mfinkle]
authorMatt Brubeck <mbrubeck@mozilla.com>
Thu, 08 Sep 2011 12:13:18 -0700
changeset 76765 65ce309835c9ff0f68bcbeaf86c001b2f86e44da
parent 76764 9a3688f9cc24d4aca622f91cb0747fcb8c69bd02
child 76766 75c48fffa6e3ab08886317624c2d8ffe07913829
push id3
push userfelipc@gmail.com
push dateFri, 30 Sep 2011 20:09:13 +0000
reviewersmfinkle
bugs680077
milestone9.0a1
Bug 680077 - Use px units for tab bar styles on Android [r=mfinkle]
mobile/themes/core/tablet.css
--- a/mobile/themes/core/tablet.css
+++ b/mobile/themes/core/tablet.css
@@ -46,18 +46,19 @@
 #tabs[tablet="true"] .tabs-list {
   width: 200px;
   -moz-column-width: auto;
   -moz-padding-end: 0px;
   -moz-padding-start: 0px;
 }
 
 documenttab[tablet="true"] {
+  /* Use px instead of mozmm because tab bar items have hard-coded pixel sizes */
   width: 200px;
-  padding: @padding_xxnormal@;
+  padding: 12px;
   -moz-margin-start: 0px;
   background: none;
 }
 
 documenttab[tablet="true"][selected="true"] {
   background: none;
 }
 
@@ -72,17 +73,17 @@ documenttab[tablet="true"][selected="tru
   -moz-box-pack: end;
   -moz-box-align: center;
 }
 
 documenttab[selected="true"] > stack > .documenttab-close-container[tablet="true"] {
   background: url("chrome://browser/skin/images/close-background-hdpi.png");
   background-repeat: no-repeat;
   background-position: right;
-  -moz-margin-end: -@padding_xxnormal@;
+  -moz-margin-end: -12px;
   padding-right: 2px;
 }
 
 .documenttab-close[tablet="true"] {
   width: 30px;
   height: 44px;
   list-style-image: url("chrome://browser/skin/images/close-inactive-tab-tablet-hdpi.png");
 }