/* HTML Checkboxes - a lot copied from global/in-content/common.css */
/* Hide the actual checkbox */
-input[type="checkbox"]:not(#browser-style-checkbox) { /* not() is workaround for old placement of checkbox in label */
+input[type="checkbox"]:not(#browser-style-checkbox),
+#browser-style-checkbox:not([label]) { /* not()s are workaround for old placement of checkbox in label */
opacity: 0;
width: 0;
pointer-events: none;
.menu-filter-button {
border: none;
/* min-height: 32px; */
+ font: inherit;
background-color: var(--theme-button-background);
color: var(--theme-button-color);
border-radius: 300px;
visibility: hidden;
}
-.devtools-searchinput .textbox-input::-moz-placeholder,
-.devtools-filterinput .textbox-input::-moz-placeholder {
+.devtools-searchinput .textbox-input::placeholder,
+.devtools-filterinput .textbox-input::placeholder {
font-style: normal;
}
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 {