DevTools: popovers use padding instead of margin

third_party/WebKit/Source/devtools/front_end/ui/popover.css

 .popover-container {
     pointer-events: none;
     overflow: hidden;
 }
 
 .popover {
     position: absolute;
     z-index: 600;
     pointer-events: none;
     display: flex;
     background-color: white;
     box-shadow: 0 6px 10px 0 rgba(0, 0, 0, 0.3), 0 2px 2px 0 rgba(0, 0, 0, 0.2), 0 1px 4px 0 rgba(0, 0, 0, 0.37);
     border-radius: 2px;
 }
 
 .popover .content {
     pointer-events: auto;
     overflow: auto;
     -webkit-user-select: text;
     line-height: 11px;
     flex: auto;
-    margin: 6px;
+    padding: 6px;
 }
 
-.popover .content.no-margin {
-    margin: 0;
+.popover .content.no-padding {
+    padding: 0;
     overflow: hidden;
 }
 
 .popover .arrow {
     position: absolute;
     background-image: url(Images/popoverArrows.png);
     width: 19px;
     height: 19px;
     margin-top: -19px;
     top: 0;
@@ skipping 42 matching lines @@
 .source-frame-popover-tree {
     border-top: 1px solid rgb(184, 184, 184);
     overflow: auto;
     position: absolute;
     top: 21px;
     bottom: 5px;
     left: 5px;
     right: 5px;
     margin-top: 1px;
 }