Bug 1444301 - Add spacing around separator at end of toolbox; r?jryans draft
authorBrian Birtles <birtles@gmail.com>
Thu, 05 Apr 2018 10:14:02 +0900
changeset 777701 4be21a87e4c469820e46b25aa54524cd5fa30c02
parent 777700 7e8982469703e4193c5377cdf5d85c9e253cb23a
push id105266
push userbmo:bbirtles@mozilla.com
push dateThu, 05 Apr 2018 07:52:20 +0000
reviewersjryans
bugs1444301
milestone61.0a1
Bug 1444301 - Add spacing around separator at end of toolbox; r?jryans MozReview-Commit-ID: 2Dkiu1MHGBj
devtools/client/themes/toolbox.css
--- a/devtools/client/themes/toolbox.css
+++ b/devtools/client/themes/toolbox.css
@@ -183,16 +183,21 @@
 }
 
 .devtools-tab.highlighted > img {
   fill: var(--theme-toolbar-highlighted-color);
 }
 
 /* Toolbox controls */
 
+#toolbox-buttons-end > .devtools-separator {
+  margin-inline-start: 5px;
+  margin-inline-end: 5px;
+}
+
 /* Save space in Firebug theme */
 .theme-firebug #toolbox-controls button {
   margin-inline-start: 0 !important;
   min-width: 12px;
   margin: 0 1px;
 }
 
 #toolbox-close::before {