feat: worked on some stuff

frontend/src/Debate/Helpers.elm

@@ -33,10 +33,10 @@ argumentMaker argument =
                 [ cardContentSpacing
                     [ column
                         fieldSpacer
-                        [ propositionMaker argument
-                        , reductioMaker argument
-                        , summaryMaker argument
-                        , strengthMaker argument
+                        [ propositionMakerDesktop argument
+                        , reductioMakerDesktop argument
+                        , summaryMakerDesktop argument
+                        , strengthMakerDesktop argument
                         , tableMaker argument
                         , proofTreeMaker argument
                         ]
@@ -58,10 +58,10 @@ argumentMakerMobile argument =
                     [ column
                         fieldSpacer
                         [ cardImageMakerMobile (argumentImage argument)
-                        , propositionMaker argument
-                        , reductioMaker argument
-                        , summaryMaker argument
-                        , strengthMaker argument
+                        , propositionMakerMobile argument
+                        , reductioMakerMobile argument
+                        , summaryMakerMobile argument
+                        , strengthMakerMobile argument
                         , tableMaker argument
                         , proofTreeMaker argument
                         ]
@@ -82,10 +82,25 @@ infoSpacing =
     E.width <| px 100
 
 
-propositionMaker : Argument -> Element msg
-propositionMaker argument =
+propositionMakerDesktop : Argument -> Element msg
+propositionMakerDesktop argument =
     row []
-        [ column
+        [ propositionMaker
+        , propositionTitleMaker argument
+        ]
+
+
+propositionMakerMobile : Argument -> Element msg
+propositionMakerMobile argument =
+    column []
+        [ propositionMaker
+        , propositionTitleMaker argument
+        ]
+
+
+propositionMaker : Element msg
+propositionMaker =
+    column
         [ E.alignTop, E.alignLeft ]
         [ paragraph
             (paragraphBoldFormat
@@ -101,7 +116,11 @@ propositionMaker argument =
                 |> el [ F.color colourTheme.textLightOrange ]
             ]
         ]
-        , column
+
+
+propositionTitleMaker : Argument -> Element msg
+propositionTitleMaker argument =
+    column
         [ E.width fill, E.alignLeft ]
         [ paragraph (paragraphBoldFormat ++ [ F.size 18 ])
             [ text argument.propositionTitle
@@ -112,25 +131,39 @@ propositionMaker argument =
                     ]
             ]
         ]
-        ]
 
 
-reductioMaker : Argument -> Element msg
-reductioMaker argument =
+reductioMakerDesktop : Argument -> Element msg
+reductioMakerDesktop argument =
     case argument.propositionReductio of
         "" ->
             none
 
         reductio ->
             row
-                [ paddingEach
-                    { top = 10
-                    , right = 0
-                    , bottom = 0
-                    , left = 0
-                    }
+                []
+                [ reductioMaker
+                , reductioMakerTitle reductio
                 ]
-                [ column
+
+
+reductioMakerMobile : Argument -> Element msg
+reductioMakerMobile argument =
+    case argument.propositionReductio of
+        "" ->
+            none
+
+        reductio ->
+            row
+                []
+                [ reductioMaker
+                , reductioMakerTitle reductio
+                ]
+
+
+reductioMaker : Element msg
+reductioMaker =
+    column
         [ E.alignTop, E.alignLeft ]
         [ paragraph
             (paragraphBoldFormat
@@ -146,7 +179,11 @@ reductioMaker argument =
                 |> el [ F.color colourTheme.textLightOrange ]
             ]
         ]
-                , column [ E.width fill, E.alignLeft ]
+
+
+reductioMakerTitle : String -> Element msg
+reductioMakerTitle reductio =
+    column [ E.width fill, E.alignLeft ]
         [ paragraph
             (paragraphFormat
                 ++ [ F.size 16
@@ -155,13 +192,27 @@ reductioMaker argument =
             )
             [ text reductio ]
         ]
+
+
+summaryMakerDesktop : Argument -> Element msg
+summaryMakerDesktop argument =
+    row []
+        [ summaryMaker
+        , summaryMakerTitle argument
         ]
 
 
-summaryMaker : Argument -> Element msg
-summaryMaker argument =
-    row []
-        [ column
+summaryMakerMobile : Argument -> Element msg
+summaryMakerMobile argument =
+    column []
+        [ summaryMaker
+        , summaryMakerTitle argument
+        ]
+
+
+summaryMaker : Element msg
+summaryMaker =
+    column
         [ E.alignTop
         , E.alignLeft
         ]
@@ -179,7 +230,11 @@ summaryMaker argument =
                 |> el [ F.color colourTheme.textLightOrange ]
             ]
         ]
-        , column
+
+
+summaryMakerTitle : Argument -> Element msg
+summaryMakerTitle argument =
+    column
         [ E.width fill
         , E.alignLeft
         ]
@@ -197,13 +252,27 @@ summaryMaker argument =
                     ]
             ]
         ]
+
+
+strengthMakerDesktop : Argument -> Element msg
+strengthMakerDesktop argument =
+    row [ E.width fill ]
+        [ strengthMaker
+        , strengthMakerBar argument
         ]
 
 
-strengthMaker : Argument -> Element msg
-strengthMaker argument =
-    row [ E.width fill ]
-        [ column
+strengthMakerMobile : Argument -> Element msg
+strengthMakerMobile argument =
+    column [ E.width fill ]
+        [ strengthMaker
+        , strengthMakerBar argument
+        ]
+
+
+strengthMaker : Element msg
+strengthMaker =
+    column
         [ E.alignTop
         , E.alignLeft
         ]
@@ -221,9 +290,12 @@ strengthMaker argument =
                 |> el [ F.color colourTheme.textLightOrange ]
             ]
         ]
-        , barPadding
+
+
+strengthMakerBar : Argument -> Element msg
+strengthMakerBar argument =
+    barPadding
         [ barMaker getConfidenceTooltip argument.argumentCertainty ]
-        ]
 
 
 getConfidenceTooltip : Int -> String
@@ -337,7 +409,7 @@ tableMaker argument =
                                 , padding 8
                                 , E.width fill
                                 ]
-                                (text "Definiens")
+                                (text "Definiens")!
                                 |> el [ F.color colourTheme.textLightOrange ]
                       , width = fill
                       , view =
@@ -376,6 +448,7 @@ formalizationMaker argument =
             [ centerX
             , F.center
             , spacing 3
+            , E.width fill
             ]
     in
     List.indexedMap
@@ -385,23 +458,20 @@ formalizationMaker argument =
                     ++ [ spacing 3
                        , centerX
                        , E.width fill
-                       , paddingEach
-                            { top = 10
-                            , right = 35
-                            , bottom = 0
-                            , left = 35
-                            }
+                       , paddingXY 35 10
                        ]
                 )
                 (List.indexedMap
                     (\premiseIndex premiseWithNotation ->
-                        column argumentFormatting
+                        column
+                            (argumentFormatting ++ [ E.width fill ])
                             [ paragraph paragraphHightlightedBoldText
                                 [ text ("P" ++ String.fromInt (premiseIndex + 1) ++ ")")
                                 , text premiseWithNotation.premise
                                     |> el
                                         [ F.color colourTheme.textLightGrey
                                         , F.regular
+                                        , E.width fill
                                         , paddingEach
                                             { top = 0
                                             , right = 0
@@ -417,13 +487,15 @@ formalizationMaker argument =
                             ]
                     )
                     argumentEntry.premises
-                    ++ [ column argumentFormatting
+                    ++ [ column
+                            (argumentFormatting ++ [ E.width fill ])
                             [ paragraph paragraphHightlightedBoldText
                                 [ text "C)"
                                 , text argumentEntry.conclusion
                                     |> el
                                         [ F.color colourTheme.textLightGrey
                                         , F.regular
+                                        , E.width fill
                                         , paddingEach
                                             { top = 0
                                             , right = 0
@@ -486,25 +558,3 @@ proofTreeMaker argument =
                 }
             ]
         ]
-
-
-basicDivider : Element msg
-basicDivider =
-    el
-        [ E.width fill
-        , centerX
-        , D.widthEach
-            { bottom = 1
-            , top = 0
-            , left = 0
-            , right = 0
-            }
-        , D.color (rgb255 200 200 200)
-        , paddingEach
-            { top = 40
-            , bottom = 0
-            , left = 0
-            , right = 0
-            }
-        ]
-        none

frontend/src/Home/Helpers.elm

@@ -65,7 +65,7 @@ mobileLargeHomePageImage =
     }
 
 
-mobileLargedesktopHomePage =
+mobileLargeHomePage =
     homePage mobileLargeHomePageImage
 
 
@@ -76,5 +76,5 @@ mobileSmallHomePageImage =
     }
 
 
-mobileSmallesktopHomePage =
+mobileSmallHomePage =
     homePage mobileSmallHomePageImage

frontend/src/Layouts/Navbar.elm

@@ -96,7 +96,6 @@ view { content, model, toContentMsg, props } =
             , height fill
             , B.color colourTheme.backgroundDarkGrey
             , E.height E.fill
-            , scrollbarY
             ]
             [ column
                 [ htmlAttribute (H.style "position" "fixed")

frontend/src/Pages/Home_.elm

@@ -99,28 +99,26 @@ homeContainer device =
 homeList : Device -> Element msg
 homeList device =
     column pageListDesktop
-        (case ( device.class, device.orientation ) of
-            ( Phone, Portrait ) ->
-                [mobileSmallesktopHomePage]
+        [ case device.class of
+            Desktop ->
+                desktopHomePage
 
-            ( Phone, Landscape ) ->
-                [mobileSmallesktopHomePage]
+            BigDesktop ->
+                desktopHomePage
 
-            ( Tablet, Portrait ) ->
-                [mobileLargedesktopHomePage]
+            Tablet ->
+                case device.orientation of
+                    Portrait ->
+                        mobileLargeHomePage
 
-            ( Tablet, Landscape ) ->
-                [mobileLargedesktopHomePage]
+                    Landscape ->
+                        desktopHomePage
 
-            ( Desktop, Portrait ) ->
-                [ desktopHomePage ]
+            Phone ->
+                case device.orientation of
+                    Portrait ->
+                        mobileSmallHomePage
 
-            ( Desktop, Landscape ) ->
-                [ desktopHomePage ]
-
-            ( BigDesktop, Portrait ) ->
-                [ desktopHomePage ]
-
-            ( BigDesktop, Landscape ) ->
-                [ desktopHomePage ]
-        )
+                    Landscape ->
+                        desktopHomePage
+        ]

frontend/src/interop.js

@@ -30,5 +30,5 @@ export const onReady = ({ app, env }) => {
         }
         
         app.ports.gotArgHeight.send(heights);
-    });
+    });z
 };