ui: max container/main width, make separate .mp3 link

azimut · Apr 3, 2024 · 5fe53b4 · 5fe53b4
1 parent 81f6d84
commit 5fe53b4
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 2 deletions.
diff --git a/frontend/public/index.html b/frontend/public/index.html
@@ -28,6 +28,11 @@
         }
       }
 
+      main {
+        max-width: 1080px;
+        margin: 0 auto;
+      }
+
       .selected {
         background-color: var(--light);
         color: var(--darkness);
@@ -109,6 +114,8 @@
       }
       div.episode-date {
         font-size: 1.2em;
+        display: flex;
+        justify-content: space-between;
       }
       div.episode-content {
         font-family: monospace, sans-serif;

diff --git a/frontend/src/Main.elm b/frontend/src/Main.elm
@@ -387,8 +387,8 @@ viewEntry feedId now { title, date, url, id, isShowingDetails, content } =
         [ div [ class "episode-title" ]
             [ text title ]
         , div [ class "episode-date" ]
-            [ a [ href url ]
-                [ time [] [ text <| inWords (millisToPosix date) now ] ]
+            [ time [] [ text <| inWords (millisToPosix date) now ]
+            , a [ href url ] [ text ".mp3" ]
             ]
         , div [ class "episode-content" ]
             [ if isShowingDetails then