feat: improved formatting

This commit is contained in:
Nick 2024-11-16 00:26:41 -06:00
parent 833c6b5d94
commit 68b6a45d6c
3 changed files with 28 additions and 11 deletions

View file

@ -17,7 +17,7 @@ import View exposing (View)
argumentMaker : Argument -> Element msg
argumentMaker makeRowInput =
argumentMaker argument =
let
argRows : List (Element msg)
argRows =
@ -57,20 +57,20 @@ argumentMaker makeRowInput =
]
)
)
makeRowInput.argumentFormalization
argument.argumentFormalization
in
column
[ paragraphWidth, alignLeft, spacing 8, paddingEach { top = 0, right = 0, bottom = 60, left = 0 } ]
[ paragraph (paragraphBoldFormat ++ [ F.size 20 ])
[ text makeRowInput.argumentTitle |> el [ F.color colourTheme.nonHighlightedText, F.bold ]
[ text argument.argumentTitle |> el [ F.color colourTheme.nonHighlightedText, F.bold ]
]
, paragraph (paragraphBoldFormat ++ [ F.size 18 ])
[ text "Proposition: " |> el [ F.color colourTheme.highlightText ]
, text makeRowInput.propositionTitle |> el [ F.color colourTheme.nonHighlightedText, F.regular ]
, text argument.propositionTitle |> el [ F.color colourTheme.nonHighlightedText, F.regular ]
]
, paragraph (paragraphBoldFormat ++ [ F.size 18 ])
[ text "Summary: " |> el [ F.color colourTheme.highlightText ]
, text makeRowInput.propositionSummary |> el [ F.color colourTheme.nonHighlightedText, F.regular ]
, text argument.propositionSummary |> el [ F.color colourTheme.nonHighlightedText, F.regular ]
]
, wrappedRow (paragraphBoldFormat ++ [ alignLeft ])
[ Element.table
@ -80,7 +80,7 @@ argumentMaker makeRowInput =
, D.color colourTheme.nonHighlightedDarkText
, clip
]
{ data = makeRowInput.definitionTable
{ data = argument.definitionTable
, columns =
[ { header =
el
@ -101,8 +101,9 @@ argumentMaker makeRowInput =
, padding 8
, Element.height fill
]
[ text definition.definiendum
, row [ alignRight ] [ text ":=" ]
[ row [ centerX ]
[ paragraph [] [ text definition.definiendum ]
]
]
}
, { header =
@ -124,7 +125,10 @@ argumentMaker makeRowInput =
, padding 8
, Element.height fill
]
[ text definition.definiens ]
[ row []
[ paragraph [] [ text definition.definiens ]
]
]
}
]
}