[FIX] devtools: Increase vertical padding of the search bar

This commit increases the vertical padding of the search bar in
order to be easier to click on.
This commit is contained in:
Julien Carion (juca)
2023-03-30 15:02:09 +02:00
committed by Géry Debongnie
parent e562f6a24f
commit fea8fcaf61
+1
View File
@@ -236,6 +236,7 @@
.search-input {
background-color: var(--background-color);
color: var(--text-color);
padding: 0.4rem 0rem;
}
.search-icon {