DevTools: popovers use padding instead of margin

third_party/WebKit/Source/devtools/front_end/ui/Popover.js

 /*
  * Copyright (C) 2009 Google Inc. All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions are
  * met:
  *
  *     * Redistributions of source code must retain the above copyright
  * notice, this list of conditions and the following disclaimer.
  *     * Redistributions in binary form must reproduce the above
@@ skipping 129 matching lines @@
     /**
      * @param {boolean} canShrink
      */
     setCanShrink: function(canShrink)
     {
         this._hasFixedHeight = !canShrink;
         this._contentDiv.classList.toggle("fixed-height", this._hasFixedHeight);
     },
 
     /**
-     * @param {boolean} noMargins
+     * @param {boolean} noPadding
      */
-    setNoMargins: function(noMargins)
+    setNoPadding: function(noPadding)
     {
-        this._hasNoMargins = noMargins;
-        this._contentDiv.classList.toggle("no-margin", this._hasNoMargins);
+        this._hasNoPadding = noPadding;
+        this._contentDiv.classList.toggle("no-padding", this._hasNoPadding);
     },
 
     /**
      * @param {!Element|!AnchorBox} anchorElement
      * @param {number=} preferredWidth
      * @param {number=} preferredHeight
      * @param {?WebInspector.Popover.Orientation=} arrowDirection
      */
     positionElement: function(anchorElement, preferredWidth, preferredHeight, arrowDirection)
     {
-        const borderWidth = this._hasNoMargins ? 0 : 8;
+        const borderWidth = this._hasNoPadding ? 0 : 8;
         const scrollerWidth = this._hasFixedHeight ? 0 : 14;
-        const arrowHeight = this._hasNoMargins ? 8 : 15;
+        const arrowHeight = this._hasNoPadding ? 8 : 15;
         const arrowOffset = 10;
         const borderRadius = 4;
         const arrowRadius = 6;
         preferredWidth = preferredWidth || this._preferredWidth;
         preferredHeight = preferredHeight || this._preferredHeight;
 
         // Skinny tooltips are not pretty, their arrow location is not nice.
         preferredWidth = Math.max(preferredWidth, 50);
         // Position relative to main DevTools element.
         const container = WebInspector.Dialog.modalHostView().element;
@@ skipping 239 matching lines @@
             this._resetHoverTimer();
         }
     }
 }
 
 /** @enum {string} */
 WebInspector.Popover.Orientation = {
     Top: "top",
     Bottom: "bottom"
 }