feat: added new images

This commit is contained in:
Nick 2024-12-24 03:08:39 -06:00
parent b1a190d9ad
commit 6763b6a860
11 changed files with 332 additions and 157 deletions

View file

@ -37,6 +37,7 @@ import Config.Style.Glow
( glowDeepDarkGrey
, glowDeepDarkOrange
)
import Config.Style.Images exposing (imageSquareMaker)
import Config.Style.Transitions exposing (transitionStyleSlow)
import Effect exposing (Effect)
import Element as E exposing (..)
@ -151,6 +152,22 @@ debateList device =
contentList : Device -> Argument -> List (Element msg)
contentList device argument =
let
image : String -> Element msg
image size =
el
[ alignLeft
, alignTop
, paddingEach
{ top = 0
, right = 0
, bottom = 0
, left = 10
}
]
<|
imageSquareMaker device (imagePathMaker M.Argument argument.argumentImage) False size
in
[ row
[ width fill
, paddingEach
@ -169,7 +186,10 @@ contentList device argument =
, left = 0
}
]
[ column [ width fill, spacing 8 ]
[ column
[ width fill
, spacing 8
]
[ summaryMakerDesktop device argument
, strengthBar device argument
]
@ -181,7 +201,7 @@ contentList device argument =
none
_ ->
argumentImageMaker argument
image "Fatty"
]
, tableMaker device argument
, desktopFormalizationMaker argument
@ -189,40 +209,6 @@ contentList device argument =
]
argumentImageMaker : Argument -> Element msg
argumentImageMaker argument =
el
[ alignRight
, alignTop
, centerY
, paddingEach
{ top = 0
, right = 0
, bottom = 0
, left = 20
}
]
<|
el
[ D.rounded 10
, D.width 3
, D.color colourTheme.backgroundLightGrey
, B.color colourTheme.backgroundLightGrey
]
<|
E.image
[ alignRight
, alignTop
, D.rounded 10
, clip
, E.width <| px 65
, E.height <| px 65
]
{ src = imagePathMaker M.Argument argument.argumentImage
, description = ""
}
proofTreeButton : String -> Element msg
proofTreeButton url =
newTabLink