.menu-filter-button {
border: none;
/* min-height: 32px; */
+ font: inherit;
background-color: var(--theme-button-background);
color: var(--theme-button-color);
border-radius: 300px;
position: relative;
}
+button + .devtools-searchbox {
+ margin-inline-start: 2px;
+}
+
/* The spacing is accomplished with a padding on the searchbox */
.devtools-searchbox > .devtools-textinput,
.devtools-searchbox > .devtools-searchinput {