feat: refactored a shit ton of stuff

This commit is contained in:
Nick 2024-12-09 20:30:04 -06:00
parent fbdfde8680
commit 7704839038
20 changed files with 54 additions and 45 deletions

View file

@ -564,7 +564,7 @@ desktopFormalizationMaker argument =
mobileFormalizationMaker : Argument -> Element msg
mobileFormalizationMaker argument =
formalizationMaker argument argumentDesktopPadding
formalizationMaker argument argumentMobilePadding
formalizationMaker : Argument -> Attribute msg -> Element msg
@ -603,10 +603,10 @@ formalizationMaker argument padding =
]
[ text
(if entryIndex < List.length argumentEntry.premises then
"P" ++ String.fromInt (entryIndex + 1) ++ ")"
"P" ++ String.fromInt (entryIndex + 1) ++ ") "
else
"C)"
"C) "
)
, text
(if entryIndex < List.length argumentEntry.premises then
@ -619,12 +619,6 @@ formalizationMaker argument padding =
[ F.color colourTheme.textLightGrey
, F.regular
, E.width fill
, paddingEach
{ top = 0
, right = 0
, bottom = 0
, left = 5
}
]
]
, paragraph