Merge pull request #1561 from eikek/ui-tweaks

UI tweaks
This commit is contained in:
mergify[bot]
2022-05-21 17:05:33 +00:00
committed by GitHub
12 changed files with 62 additions and 31 deletions

View File

@ -195,7 +195,7 @@ boxHeader model =
[ class "flex flex-row py-1 bg-blue-50 dark:bg-slate-700 rounded-t"
, classList [ ( "hidden", not model.box.decoration || model.box.name == "" ) ]
]
[ div [ class "flex text-lg tracking-medium italic px-2" ]
[ div [ class "flex text-lg tracking-medium font-semibold px-2" ]
[ text model.box.name
]
]