feat: tidying up

This commit is contained in:
Nick 2025-01-02 14:12:10 -06:00
parent a06a938a3b
commit 1a426736a7
2 changed files with 10 additions and 9 deletions

0
frontend/src/Config/Pages/Contact/Records.elm Normal file → Executable file
View file

View file

@ -44,7 +44,7 @@ import Config.Style.Colour.Helpers
( ThemeColor(..)
, getThemeColor
)
import Config.Style.Fonts exposing (smallTextFontSize)
import Config.Style.Fonts exposing (defaultFontSize, smallTextFontSize)
import Config.Style.Icons.Icons exposing (copyLink)
import Config.Style.Icons.Types as TySvg
exposing
@ -584,14 +584,15 @@ reductioMaker device dodge =
reasonMaker : Device -> Dodge -> Element msg
reasonMaker device dodge =
detailFormat paragraph
[ text <|
case dodge.dodgeNicksDoxasticReason of
NoProp ->
"There is no proposition to evaluate."
[ el [ defaultFontSize ] <|
text <|
case dodge.dodgeNicksDoxasticReason of
NoProp ->
"There is no proposition to evaluate."
VagueProp ->
"The proposition is too vague to evaluate."
VagueProp ->
"The proposition is too vague to evaluate."
SpecificPropReason str ->
str
SpecificPropReason str ->
str
]