Bug 1030048 - Fix some Windows styling issues in WebIDE. r=paul
authorTim Nguyen <ntim007@gmail.com>
Wed, 25 Jun 2014 09:29:00 -0400
changeset 191176 7cb69ef00dbb44062cd6872730f278fbbfad3c20
parent 191175 183f367cda864554f76278e5dfb0c470f11b05a4
child 191177 9ccb228e087f0a7d79172970fbc9462f6158c22a
push id1
push userroot
push dateMon, 20 Oct 2014 17:29:22 +0000
reviewerspaul
bugs1030048
milestone33.0a1
Bug 1030048 - Fix some Windows styling issues in WebIDE. r=paul
browser/devtools/webide/themes/details.css
browser/devtools/webide/themes/webide.css
--- a/browser/devtools/webide/themes/details.css
+++ b/browser/devtools/webide/themes/details.css
@@ -1,17 +1,16 @@
 /* This Source Code Form is subject to the terms of the Mozilla Public
  * License, v. 2.0. If a copy of the MPL was not distributed with this
  * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
 
 body {
   margin: 0;
   background-color: white;
-  font-family: Lucida Grande, Helvetica, Helvetica Neue, sans-serif;
-  font-size: 12px;
+  font: message-box;
 }
 
 .hidden {
   display: none;
 }
 
 h1, h3, p {
   margin: 0;
@@ -25,16 +24,17 @@ h1, h3, p {
 #toolbar > button {
   -moz-appearance: none;
   background-color: transparent;
   border-width: 0 1px 0 0;
   border-color: #AAA;
   border-style: solid;
   margin: 0;
   padding: 0 12px;
+  font-family: inherit;
   font-weight: bold;
   height: 24px;
 }
 
 #toolbar > button:hover {
   background-color: #CCC;
   cursor: pointer;
 }
--- a/browser/devtools/webide/themes/webide.css
+++ b/browser/devtools/webide/themes/webide.css
@@ -29,17 +29,20 @@
 window.busy .action-button,
 window:not(.busy) #action-busy {
   display: none;
 }
 
 /* Panel buttons */
 
 .panel-button {
+  -moz-appearance: none;
   -moz-box-align: center;
+  border-width: 0;
+  background: none;
 }
 
 .panel-button-anchor {
   list-style-image: url('icons.png');
   -moz-image-region: rect(43px, 563px, 61px, 535px);
   width: 12px;
   height: 7px;
   margin-bottom: -5px;
@@ -118,16 +121,17 @@ panel > .panel-arrowcontainer > .panel-a
   width: 180px;
 }
 
 .panel-item,
 .panel-item-help {
   padding: 3px 12px;
   margin: 0;
   -moz-appearance: none;
+  border-width: 0;
 }
 
 .panel-item-help {
   font-size: 0.9em;
 }
 
 .panel-item:hover,
 .panel-item-help:hover {