From fea8fcaf610bdef34bdfe9cc4e019de879c840ff Mon Sep 17 00:00:00 2001
From: "Julien Carion (juca)" <juca@odoo.com>
Date: Thu, 30 Mar 2023 15:02:09 +0200
Subject: [PATCH] [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.
---
 tools/devtools/src/main.css | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tools/devtools/src/main.css b/tools/devtools/src/main.css
index d66fe205..83b0676b 100644
--- a/tools/devtools/src/main.css
+++ b/tools/devtools/src/main.css
@@ -236,6 +236,7 @@
 .search-input {
   background-color: var(--background-color);
   color: var(--text-color);
+  padding: 0.4rem 0rem;
 }
 
 .search-icon {