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