From 322629584c3ce9ea7df29d0466a91ba43e1444de Mon Sep 17 00:00:00 2001
From: filip mertens <filip.mertens@ethereum.org>
Date: Fri, 11 Mar 2022 15:47:32 +0100
Subject: [PATCH] fix whitespace

---
 libs/remix-ui/search/src/lib/search.css | 1 +
 1 file changed, 1 insertion(+)

diff --git a/libs/remix-ui/search/src/lib/search.css b/libs/remix-ui/search/src/lib/search.css
index 8774dc310c..ccf55adff2 100644
--- a/libs/remix-ui/search/src/lib/search.css
+++ b/libs/remix-ui/search/src/lib/search.css
@@ -64,6 +64,7 @@
 
 .search_plugin_search_tab mark {
     padding: 0;
+    white-space: pre;
 }
 
 .search_plugin_search_tab .search_plugin_search_line_container .search_plugin_search_control {