From d6d968b37c18cf9a54daf3f3120e33cae767f6a4 Mon Sep 17 00:00:00 2001 From: Tom Nunn Date: Tue, 25 Apr 2023 09:45:32 +0100 Subject: [PATCH] Move default no match element down a bit --- src/Internal/View/ElmUi.elm | 1 + 1 file changed, 1 insertion(+) diff --git a/src/Internal/View/ElmUi.elm b/src/Internal/View/ElmUi.elm index 25b0fcc..c5ecf20 100644 --- a/src/Internal/View/ElmUi.elm +++ b/src/Internal/View/ElmUi.elm @@ -422,6 +422,7 @@ defaultNoMatchElement = , Border.color (Element.rgb 0.8 0.8 0.8) , Border.width 1 , Border.rounded 5 + , Element.moveDown 10 , Background.color (Element.rgb 1 1 1) , Element.width Element.fill ]