| 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 {
|
|
|