Index: third_party/WebKit/Source/devtools/front_end/ui/tabbedPane.css |
diff --git a/third_party/WebKit/Source/devtools/front_end/ui/tabbedPane.css b/third_party/WebKit/Source/devtools/front_end/ui/tabbedPane.css |
index ee8aacf8351321170c3b3c208661887d3f70277b..92c95e495e5886e70714ba2b00bb476666d1d0f5 100644 |
--- a/third_party/WebKit/Source/devtools/front_end/ui/tabbedPane.css |
+++ b/third_party/WebKit/Source/devtools/front_end/ui/tabbedPane.css |
@@ -270,8 +270,8 @@ |
} |
.tabbed-pane-no-tab-borders .tabbed-pane-header-tab { |
- border: none; |
- padding: 2px 10px; |
+ border: none !important; |
+ padding: 2px 0.8em; |
} |
.tabbed-pane-no-tab-borders .tabbed-pane-header-contents { |