Move default no match element down a bit

This commit is contained in:
Tom Nunn 2023-04-25 09:45:32 +01:00
parent c1f5370565
commit d6d968b37c

View File

@ -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
]