feat: so very close

This commit is contained in:
Nick 2024-12-28 20:50:11 -06:00
parent f9b8f59df9
commit c63ab0bfe7
11 changed files with 89 additions and 73 deletions

View file

@ -3,12 +3,12 @@ module Pages.Debate.Arguments exposing (Model, Msg, page)
import Config.Data.Identity exposing (pageNames)
import Config.Helpers.Cards.Inner.Helpers
exposing
( bodyFormat
( argumentButton
, bodyFormat
, detailBodyMaker
, detailFormat
, detailSpacing
, detailTitleMaker
, proofTreeButton
)
import Config.Helpers.Cards.Outer.Helpers exposing (cardMaker)
import Config.Helpers.Cards.Outer.Types as C
@ -62,6 +62,7 @@ import Html.Attributes as H exposing (style, title, wrap)
import Layouts
import Page exposing (Page)
import Route exposing (Route)
import Route.Path as Path
import Shared
import View exposing (View)
@ -220,7 +221,11 @@ contentList device argument =
]
, tableMaker device argument
, formalizationMaker device argument
, proofTreeButton argument.proofLink "Proof Tree"
, el [alignRight] <|
row [ width fill, spacing 20 ]
[ argumentButton (Path.toString Path.Contact_Criticism) "Reject Premise"
, argumentButton argument.proofLink "Proof Tree"
]
]
@ -404,7 +409,7 @@ formalizationMaker device argument =
0
_ ->
0
40
)
3
]