feat: updating arguments

This commit is contained in:
Nick 2024-11-16 18:34:05 -06:00
parent f2647072fb
commit 600f2ed3f4
34 changed files with 384 additions and 397 deletions

View file

@ -64,16 +64,16 @@ argumentMaker argument =
[ paragraph (paragraphBoldFormat ++ [ F.size 20 ])
[ newTabLink []
{ url = argument.proofLink
, label = transitionNonHighlightedLinkHover <| text (argument.argumentTitle)
, label = transitionNonHighlightedLinkHover <| text argument.argumentTitle
}
]
, paragraph (paragraphBoldFormat ++ [ F.size 18 ])
[ text "Proposition: " |> el [ F.color colourTheme.highlightText ]
, text argument.propositionTitle |> el [ F.color colourTheme.nonHighlightedText, F.regular ]
, text argument.propositionTitle |> el [ F.color colourTheme.nonHighlightedText, F.regular, F.size 16 ]
]
, paragraph (paragraphBoldFormat ++ [ F.size 18 ])
[ text "Summary: " |> el [ F.color colourTheme.highlightText ]
, text argument.propositionSummary |> el [ F.color colourTheme.nonHighlightedText, F.regular ]
, text argument.propositionSummary |> el [ F.color colourTheme.nonHighlightedText, F.regular, F.size 16 ]
]
, wrappedRow (paragraphBoldFormat ++ [ alignLeft ])
[ Element.table