feat: refactored a shit ton of stuff

This commit is contained in:
Nick 2024-12-09 20:42:33 -06:00
parent 7704839038
commit 7b39ebc6df
2 changed files with 76 additions and 65 deletions

View file

@ -92,7 +92,7 @@ argumentMaker argument =
[ propositionMakerDesktop argument
, reductioMakerDesktop argument
, summaryMakerDesktop argument
, strengthMakerDesktop argument
, strengthBar argument
, tableMaker argument
, desktopFormalizationMaker argument
]
@ -121,7 +121,7 @@ argumentMakerMobile argument =
]
, reductioMakerMobile argument
, summaryMakerMobile argument
, strengthMakerMobile argument
, strengthBar argument
, tableMaker argument
, mobileFormalizationMaker argument
]
@ -345,22 +345,14 @@ summaryMakerTitle argument =
]
strengthMakerDesktop : Argument -> Element msg
strengthMakerDesktop argument =
strengthBar : Argument -> Element msg
strengthBar argument =
row [ E.width fill ]
[ strengthMaker
, strengthMakerBar argument
]
strengthMakerMobile : Argument -> Element msg
strengthMakerMobile argument =
column [ E.width fill ]
[ strengthMaker
, strengthMakerBar argument
]
strengthMaker : Element msg
strengthMaker =
column
@ -384,7 +376,7 @@ strengthMaker =
(el
[ paddingEach
{ top = 0
, right = 10
, right = 5
, bottom = 0
, left = 0
}