Bug 431644 - Make resizer in Page Info media tab invisible. r=gavin
authorDão Gottwald <dao@mozilla.com>
Sat, 24 Jul 2010 10:56:37 +0200
changeset 48160 e226c260072364c1202fa40c8ba099640bcfe44c
parent 48159 dfa1076b0ab9a740500c9374a2397fbd22302f42
child 48161 e59fc50645b48bb01cdc72a2e9ca1c44cab95f0a
push id14600
push userdgottwald@mozilla.com
push dateSat, 24 Jul 2010 09:07:29 +0000
treeherdermozilla-central@3b43d69a70f0 [default view] [failures only]
perfherder[talos] [build metrics] [platform microbench] (compared to previous push)
reviewersgavin
bugs431644
milestone2.0b3pre
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 431644 - Make resizer in Page Info media tab invisible. r=gavin
browser/themes/gnomestripe/browser/pageInfo.css
browser/themes/pinstripe/browser/pageInfo.css
browser/themes/winstripe/browser/pageInfo.css
--- a/browser/themes/gnomestripe/browser/pageInfo.css
+++ b/browser/themes/gnomestripe/browser/pageInfo.css
@@ -169,16 +169,22 @@ groupbox.treebox .groupbox-body {
   white-space: pre-wrap;
   line-height: 2em;
 }
 
 /* Media Tab */
 #imagetree {
   min-height: 10em;
   margin-top: 2px;
+  margin-bottom: 0;
+}
+
+#mediaSplitter {
+  -moz-appearance: none;
+  height: .8em;
 }
 
 #mediaGrid {
   min-height: 9em;
 }
 
 #mediaLabelColumn {
   min-width: 10em;
--- a/browser/themes/pinstripe/browser/pageInfo.css
+++ b/browser/themes/pinstripe/browser/pageInfo.css
@@ -117,16 +117,21 @@ groupbox.treebox .groupbox-body {
 #general-security-identity {
   white-space: pre-wrap;
   line-height: 2em;
 }
 
 /* Media Tab */
 #imagetree {
   min-height: 10em;
+  margin-bottom: 0;
+}
+
+#mediaSplitter {
+  background: none;
 }
 
 #mediaGrid {
   min-height: 9em;
 }
 
 #mediaLabelColumn {
   min-width: 10em;
--- a/browser/themes/winstripe/browser/pageInfo.css
+++ b/browser/themes/winstripe/browser/pageInfo.css
@@ -183,16 +183,23 @@ groupbox tree {
 #general-security-identity {
   white-space: pre-wrap;
   line-height: 2em;
 }
 
 /* Media Tab */
 #imagetree {
   min-height: 10em;
+  margin-bottom: 0;
+}
+
+#mediaSplitter {
+  border-style: none;
+  background: none;
+  height: .8em;
 }
 
 #mediaGrid {
   min-height: 9em;
 }
 
 #mediaLabelColumn {
   min-width: 10em;