Bug 689177 - Reduce border radii of header buttons and the search field to match Firefox nav bar changes. r=unfocused
authorDão Gottwald <dao@mozilla.com>
Tue, 27 Sep 2011 01:10:20 +0200
changeset 78902 d3e0e80e39205cbe4106d1f347534f964faa1952
parent 78901 2db0678c795bed8febe339e8793aca5a371ea606
child 78903 150ffa37c632f3802de6b842ebcf36dfa390bf38
child 78983 ee20c375e6e63e7467f54c4fa766b47437b8b294
push id78
push userclegnitto@mozilla.com
push dateFri, 16 Dec 2011 17:32:24 +0000
treeherdermozilla-release@79d24e644fdd [default view] [failures only]
perfherder[talos] [build metrics] [platform microbench] (compared to previous push)
reviewersunfocused
bugs689177
milestone9.0a1
first release with
nightly linux32
nightly linux64
nightly mac
nightly win32
nightly win64
last release without
nightly linux32
nightly linux64
nightly mac
nightly win32
nightly win64
Bug 689177 - Reduce border radii of header buttons and the search field to match Firefox nav bar changes. r=unfocused
toolkit/themes/winstripe/mozapps/extensions/extensions.css
--- a/toolkit/themes/winstripe/mozapps/extensions/extensions.css
+++ b/toolkit/themes/winstripe/mozapps/extensions/extensions.css
@@ -315,17 +315,17 @@
 #header-search {
   margin: 0;
 }
 
 @media all and (-moz-windows-default-theme) {
   #header-search {
     -moz-appearance: none;
     border: 1px solid rgba(0, 0, 0, 0.32);
-    border-radius: 3.5px;
+    border-radius: 2.5px;
     padding-bottom: 2px;
     background-color: rgba(255, 255, 255, 0.4);
   }
 
   #header-search:hover {
     background-color: rgba(255, 255, 255, .75);
   }
 
@@ -1135,17 +1135,17 @@ button.button-link:not([disabled="true"]
 .header-button {
   -moz-appearance: none;
   padding: 1px 3px;
   color: #444;
   text-shadow: 0 0 3px white;
   background: -moz-linear-gradient(rgba(251, 252, 253, 0.95), rgba(246, 247, 248, 0) 49%, 
                                    rgba(211, 212, 213, 0.45) 51%, rgba(225, 226, 229, 0.3));
   background-clip: padding-box;
-  border-radius: 3.5px;
+  border-radius: 2.5px;
   border: 1px solid rgba(31, 64, 100, 0.4);
   border-top-color: rgba(31, 64, 100, 0.3);
   box-shadow: 0 0 0 1px rgba(255, 255, 255, 0.25) inset,
               0 0 2px 1px rgba(255, 255, 255, 0.25) inset;
 }
 
 .header-button[disabled="true"] {
   opacity: 0.8;