From 35e8b4f4a493b96ffc95bb8451e05bd5a81ff2a2 Mon Sep 17 00:00:00 2001 From: tibbi Date: Tue, 3 Jan 2023 15:04:11 +0100 Subject: [PATCH] use smaller search menu --- app/src/main/res/layout/menu_search.xml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/app/src/main/res/layout/menu_search.xml b/app/src/main/res/layout/menu_search.xml index ae6f263c..48d4943b 100644 --- a/app/src/main/res/layout/menu_search.xml +++ b/app/src/main/res/layout/menu_search.xml @@ -11,8 +11,8 @@ android:id="@+id/top_toolbar_holder" android:layout_width="match_parent" android:layout_height="wrap_content" - android:layout_marginTop="@dimen/small_margin" - android:layout_marginBottom="@dimen/small_margin" + android:layout_marginTop="@dimen/medium_margin" + android:layout_marginBottom="@dimen/medium_margin" android:background="@drawable/search_menu_background">