From 3dc325093ff6ede79b96b41d34b7d8c79442a97a Mon Sep 17 00:00:00 2001 From: azimut Date: Tue, 1 Oct 2024 11:18:25 -0300 Subject: [PATCH] ui: cosmetic, Site->Home for feed link, bigger search loader --- frontend/src/Main.elm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/frontend/src/Main.elm b/frontend/src/Main.elm index 8efa7da..fd02b67 100644 --- a/frontend/src/Main.elm +++ b/frontend/src/Main.elm @@ -467,7 +467,7 @@ viewFeedDetails { details, isSelected } = [ div [] [] , Markdown.toHtml [] feedDetails.description , div [ class "feed-links" ] - [ a [ href feedDetails.home ] [ text "Site" ] + [ a [ href feedDetails.home ] [ text "Home" ] , a [ href feedDetails.url ] [ text "RSS" ] ] ] @@ -608,7 +608,7 @@ viewMain ({ state, dbStats } as model) = WaitingForResults -> [ div [ class "loader-search" ] - [ Loaders.ballTriangle 60 "#fff" ] + [ Loaders.ballTriangle 150 "#fff" ] ] ShowingResults ->