DevTools: Fix style of "Show all nodes" button

Source/devtools/front_end/inspectorStyle.css

Index: Source/devtools/front_end/inspectorStyle.css
diff --git a/Source/devtools/front_end/inspectorStyle.css b/Source/devtools/front_end/inspectorStyle.css
index 9cfdb5af63c526d6b48561017c00c193b48012b0..dcf1295819e783e8b952379e305a6ec5ee071837 100644
--- a/Source/devtools/front_end/inspectorStyle.css
+++ b/Source/devtools/front_end/inspectorStyle.css
@@ -1818,32 +1818,6 @@ li.editing-sub-part .delete-button {
     background-image: linear-gradient(to bottom, rgb(194, 194, 194), rgb(239, 239, 239));
 }
 
-button.show-all-nodes {
-    font-size: 13px;
-    margin: 0;
-    padding: 0 20px;
-    height: 20px;
-    color: rgb(6, 6, 6);
-    background-color: transparent;
-    border: 1px solid rgb(165, 165, 165);
-    background-color: rgb(237, 237, 237);
-    background-image: linear-gradient(to bottom, rgb(252, 252, 252), rgb(223, 223, 223));
-    border-radius: 12px;
-    -webkit-appearance: none;
-}
-
-body.inactive button.show-all-nodes {
-    color: rgb(130, 130, 130);
-    border-color: rgb(212, 212, 212);
-    background-color: rgb(239, 239, 239);
-    background-image: linear-gradient(to bottom, rgb(250, 250, 250), rgb(235, 235, 235));
-}
-
-button.show-all-nodes:active {
-    background-color: rgb(215, 215, 215);
-    background-image: linear-gradient(to bottom, rgb(194, 194, 194), rgb(239, 239, 239));
-}
-
 #console-messages.console-filter-top {
     margin-top: 23px;
 }
@@ -2757,6 +2731,7 @@ label.checkbox-with-label {
     padding-right: 10px;
 }
 
+body.inactive button.text-button,
 .text-button:disabled {
     background-image: linear-gradient(#f1f1f1, #f1f1f1 38%, #e6e6e6);
     border-color: rgba(80, 80, 80, 0.2);
@@ -2820,6 +2795,7 @@ label.checkbox-with-label {
     outline: none;
 }
 
+body.inactive select.chrome-select,
 .chrome-select:disabled {
     background-image: -webkit-image-set(url(Images/chromeDisabledSelect.png) 1x, url(Images/chromeDisabledSelect_2x.png) 2x), linear-gradient(#f1f1f1, #f1f1f1 38%, #e6e6e6);
     border-color: rgba(80, 80, 80, 0.2);