Remove margin from Settings screen
Remove margin from Settings screen

The settings screen has a margin that makes its content 3 pixels smaller
than the DevTools UI. As a result a small gap is seen around its edges
where the DevTools UI can be seen and interacted with. This means that
users can accidentaly interact with other parts of DevTools which are
visible when the Settings screen is open (for instance, closing DevTools
when trying to close the settings screen because of the closeness of
both close buttons). This CL removes such margin so that the settings
screen completely overlays DevTools.

Fixed: 1142747
Change-Id: I26d6c41bcb4ba0d5207911c86fdf4d827b5c9713
Reviewed-on: https://chromium-review.googlesource.com/c/devtools/devtools-frontend/+/3001656
Auto-Submit: Andres Olivares <9d3bededfc9b98cb289557338a8f98e77d597607@chromium.org>
Reviewed-by: Tim van der Lippe <dba8716ee7f8d16236046f74d2167cb94410f6ed@chromium.org>
Reviewed-by: Mraz Marian <cdb365f68ceade1f4a16e4219c00b1573f0bee45@chromium.org>
Commit-Queue: Andres Olivares <9d3bededfc9b98cb289557338a8f98e77d597607@chromium.org>

ChromeDevTools/devtools-frontend,ChromeDevTools/devtools-frontend,ChromeDevTools/devtools-frontend,ChromeDevTools/devtools-frontend,ChromeDevTools/devtools-frontend,ChromeDevTools/devtools-frontend