From e5c9bde291b404c56284ea81dadb0e206c506bda Mon Sep 17 00:00:00 2001 From: Thomas Forgione Date: Wed, 21 Oct 2020 11:05:31 +0200 Subject: [PATCH] Better padding for home button --- src/Views.elm | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/src/Views.elm b/src/Views.elm index 097be26..e42d270 100644 --- a/src/Views.elm +++ b/src/Views.elm @@ -92,11 +92,10 @@ topBar = homeButton : Element Core.Msg homeButton = Ui.link - [ Element.padding Consts.homePadding - , Element.height Element.fill + [ Element.height Element.fill , Font.bold ] - { label = Element.text Consts.name + { label = Element.el [ Element.padding 10 ] (Element.text Consts.name) , url = "/" }