Index: Source/WebKit/chromium/src/js/devTools.css |
=================================================================== |
--- Source/WebKit/chromium/src/js/devTools.css (revision 139602) |
+++ Source/WebKit/chromium/src/js/devTools.css (working copy) |
@@ -3,10 +3,13 @@ |
} |
body.dock-to-bottom #toolbar { |
- border-top-color: white; |
cursor: default; /* overriden */ |
} |
+body.dock-to-bottom.platform-mac #toolbar { |
+ border-top-color: white; |
+} |
+ |
/* Chrome theme overrides */ |
body.platform-windows #toolbar, body.platform-windows.inactive #toolbar { |