From 9546f4d047361d8a0c69a2dc2800b394a4a58eba Mon Sep 17 00:00:00 2001 From: Steven Vandevelde Date: Mon, 5 Sep 2022 17:43:50 +0200 Subject: [PATCH] Minor version tag UI improvements --- src/Applications/UI/Settings.elm | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/src/Applications/UI/Settings.elm b/src/Applications/UI/Settings.elm index 62412d19..64297e58 100644 --- a/src/Applications/UI/Settings.elm +++ b/src/Applications/UI/Settings.elm @@ -150,11 +150,12 @@ content deps = -- Version ----------------------------------------- , let - tag = + tag children = chunk [ "bg-base06" , "inline-block" , "leading-none" + , "mb-1" , "ml-1" , "mr-3" , "p-1" @@ -166,6 +167,12 @@ content deps = , "dark:bg-base01" , "dark:text-base05" ] + [ chunk + [ "inline-block" + , "pt-px" + ] + children + ] in chunk [ "text-base05" -- 2.51.2