make network panel look decent even in current nightlies

[themes.git] / LCARStrek / devtools / toolbars.css

diff --git a/LCARStrek/devtools/toolbars.css b/LCARStrek/devtools/toolbars.css
index 2bddea0aa73568b54a2eb68c3b921c1dd4dcd121..13a5a467a833d8e1f7269a56f05ae9a3da0f4974 100644 (file)
--- a/LCARStrek/devtools/toolbars.css
+++ b/LCARStrek/devtools/toolbars.css
@@ -229,6 +229,7 @@ div.devtools-toolbar::after {
 .menu-filter-button {
   border: none;
 /*  min-height: 32px; */
+  font: inherit;
   background-color: var(--theme-button-background);
   color: var(--theme-button-color);
   border-radius: 300px;
@@ -496,6 +497,10 @@ div.devtools-toolbar::after {
   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 {