Fix overlap of tab focus button in Sources

Slightly increasing the line-height.

Before: https://imgur.com/jRVnYwd
After: https://i.imgur.com/hQaIlkl.png
Fixed: 393573238
Change-Id: I4a3c9c49cfefe7c538d627f3f39a7208d21b0890
Reviewed-on: https://chromium-review.googlesource.com/c/devtools/devtools-frontend/+/6225719
Commit-Queue: Benedikt Meurer <[email protected]>
Reviewed-by: Benedikt Meurer <[email protected]>
Auto-Submit: Kim-Anh Tran <[email protected]>

Author: ktran

front_end/ui/legacy/tabbedPane.css

@@ -60,6 +60,7 @@
   margin: 0 var(--sys-size-8);
 
   &.workspace {
+    line-height: 18px;
     display: inline-flex;
     align-items: center;
     border: var(--sys-size-2) dashed var(--sys-color-divider);