[SCM] WebKit Debian packaging branch, debian/experimental, updated. upstream/1.3.3-9427-gc2be6fc

[pfeldman at chromium.org]

The following commit has been merged in the debian/experimental branch:
commit 491119fbf964d4296ba2943fa923642c4a67c2e3
Author: pfeldman at chromium.org <pfeldman at chromium.org@268f45cc-cd09-0410-ab3c-d52691b4dbfc>
Date:   Tue Nov 2 19:51:39 2010 +0000

    2010-11-02  Pavel Feldman  <pfeldman at chromium.org>
    
            Not reviewed: Web Inspector: follow up to r71139. Fixed Mac monospace
            height style.
    
            * inspector/front-end/PropertiesSection.js:
            (WebInspector.PropertiesSection):
            * inspector/front-end/inspector.css:
    
    
    git-svn-id: http://svn.webkit.org/repository/webkit/trunk@71154 268f45cc-cd09-0410-ab3c-d52691b4dbfc

diff --git a/WebCore/ChangeLog b/WebCore/ChangeLog
index ec8bf75..7ffd2e9 100644
--- a/WebCore/ChangeLog
+++ b/WebCore/ChangeLog
@@ -1,3 +1,12 @@
+2010-11-02  Pavel Feldman  <pfeldman at chromium.org>
+
+        Not reviewed: Web Inspector: follow up to r71139. Fixed Mac monospace
+        height style.
+
+        * inspector/front-end/PropertiesSection.js:
+        (WebInspector.PropertiesSection):
+        * inspector/front-end/inspector.css:
+
 2010-11-02  Adam Barth  <abarth at webkit.org>
 
         Reviewed by Eric Seidel.
diff --git a/WebCore/inspector/front-end/PropertiesSection.js b/WebCore/inspector/front-end/PropertiesSection.js
index 1ca52ce..88cb1a2 100644
--- a/WebCore/inspector/front-end/PropertiesSection.js
+++ b/WebCore/inspector/front-end/PropertiesSection.js
@@ -31,8 +31,9 @@ WebInspector.PropertiesSection = function(title, subtitle)
 {
     WebInspector.Section.call(this, title, subtitle);
 
+    this.headerElement.addStyleClass("monospace");
     this.propertiesElement = document.createElement("ol");
-    this.propertiesElement.className = "properties properties-tree source-code";
+    this.propertiesElement.className = "properties properties-tree monospace";
     this.propertiesElement.tabIndex = 0;
     this.propertiesTreeOutline = new TreeOutline(this.propertiesElement);
     this.propertiesTreeOutline.section = this;
diff --git a/WebCore/inspector/front-end/inspector.css b/WebCore/inspector/front-end/inspector.css
index eac119f..90f062d 100644
--- a/WebCore/inspector/front-end/inspector.css
+++ b/WebCore/inspector/front-end/inspector.css
@@ -508,7 +508,7 @@ body.drawer-visible #drawer {
 }
 
 .monospace {
-    font-size: 10px;
+    font-size: 10px !important;
     font-family: monospace;
 }
 
@@ -519,17 +519,17 @@ body.platform-mac .monospace, body.platform-mac .source-code {
 /* Keep .platform-mac to make the rule more specific than the general one above. */
 body.platform-mac.platform-mac-snowleopard .monospace,
 body.platform-mac.platform-mac-snowleopard .source-code {
-    font-size: 11px;
+    font-size: 11px !important;
     font-family: Menlo, monospace;
 }
 
 body.platform-windows .monospace, body.platform-windows .source-code {
-    font-size: 12px;
+    font-size: 12px !important;
     font-family: Consolas, Lucida Console, monospace;
 }
 
 body.platform-linux .monospace, body.platform-linux .source-code {
-    font-size: 11px;
+    font-size: 11px !important;
     font-family: dejavu sans mono, monospace;
 }
 
@@ -1176,7 +1176,7 @@ body.platform-linux .monospace, body.platform-linux .source-code {
 
 .source-code {
     font-family: monospace;
-    font-size: 10px;
+    font-size: 10px !important;
     white-space: pre-wrap;
 }
 
@@ -1324,7 +1324,7 @@ body.inactive .placard.selected {
 }
 
 .section .header {
-    color: rgb(50, 50, 50);
+    color: black;
     padding: 0 8px 0 18px;
     min-height: 18px;
     white-space: nowrap;
@@ -1347,10 +1347,10 @@ body.inactive .placard.selected {
 }
 
 .section .header .title, .event-bar .header .title {
-    font-weight: bold;
+    font-weight: normal;
     word-wrap: break-word;
     white-space: normal;
-    font-size: 12px;
+    line-height: 18px;
 }
 
 .section .header .title.blank-title {
@@ -1367,7 +1367,6 @@ body.inactive .placard.selected {
 
 .section .header .subtitle, .event-bar .header .subtitle {
     float: right;
-    font-size: 12px;
     margin-left: 5px;
     max-width: 55%;
     text-overflow: ellipsis;
@@ -1499,7 +1498,7 @@ body.inactive .placard.selected {
 
 .event-bars .event-bar .header::before {
     position: absolute;
-    top: 0;
+    top: 2px;
     left: 7px;
     width: 8px;
     height: 8px;

-- 
WebKit Debian packaging