feat: reformatted cucks and added reference list to dodge card

This commit is contained in:
Nick 2024-11-23 18:01:27 -06:00
parent cf9886af4d
commit b3df4c7581
72 changed files with 152 additions and 17 deletions

View file

@ -9,8 +9,7 @@ argumentDietaryCholesterol =
, propositionTitle = "Consuming high amounts of dietary cholesterol increases heart disease risk."
, propositionReductio = ""
, propositionSummary = "LDL causally associates with heart disease in a linear and proportional manner, and in all cases exposures that durably increase LDL over time produce likewise increases in heart disease risk. Dietary cholesterol is one such exposure."
, proofLink = "https://www.umsu.de/trees/#(~6x(Px~5Qx)),(Pd)|=(Qd)"
, proofLink = "https://www.umsu.de/trees/#(~6x(Px~5Qx)),(Pd)|=(Qd)"
, definitionTable =
[ { definiendum = "P(x)"
, definiens = "consuming high amounts of (x) increases LDL"
@ -18,7 +17,7 @@ argumentDietaryCholesterol =
, { definiendum = "Q(x)"
, definiens = "(x) increases heart disease risk"
}
, { definiendum = "x"
, { definiendum = "x"
, definiens = "a substance"
}
, { definiendum = "d"
@ -38,4 +37,4 @@ argumentDietaryCholesterol =
, conclusionNotation = "Qd"
}
]
}
}

View file

@ -49,16 +49,18 @@ argumentMaker onClickMsg areArgsExpanded argument indexExpand =
]
[ titleMaker onClickMsg indexExpand argument.argumentTitle isArgumentExpanded
, column
([ E.width <| px 650, centerX, transitionStyle ]
([ E.width <| px 600, centerX, transitionStyle ]
++ (if not isArgumentExpanded then
[ height shrink
, transitionStyle
, clip
[ transitionStyle
, height <| px 0
, roundEach { topLeft = 0, topRight = 0, bottomRight = 10, bottomLeft = 10 }
, clip
]
else
[ transitionStyle
, height <| px 800
, clip
]
)
)
@ -85,11 +87,12 @@ titleMaker onClickMsg indexExpand title isArgumentExpanded =
, F.center
, transitionStyle
, pointer
, mouseOver
[ B.color colourTheme.highlightTextHover
, F.color colourTheme.nonHighlightedText
, D.color colourTheme.highlightTextHover
]
-- , mouseOver
-- [ B.color colourTheme.highlightTextHover
-- , F.color colourTheme.nonHighlightedText
-- , D.color colourTheme.highlightTextHover
-- ]
, V.onClick <| onClickMsg indexExpand
]
++ (if not isArgumentExpanded then
@ -165,7 +168,7 @@ tableMaker argument isArgumentExpanded =
in
List.indexedMap
(\index argumentEntry ->
column (paragraphFormat ++ [ spacing 3, E.width <| px 500, centerX ])
column (paragraphFormat ++ [ spacing 3, centerX, E.width <| px 500 ])
(List.indexedMap
(\premiseIndex premiseWithNotation ->
column argumentFormatting
@ -197,7 +200,7 @@ tableMaker argument isArgumentExpanded =
)
argument.argumentFormalization
in
column [ centerX ]
column [ centerX, E.width <| px 600 ]
[ wrappedRow (paragraphBoldFormat ++ [ E.alignLeft, E.width fill, paddingEach { top = 10, right = 0, bottom = 10, left = 0 } ])
[ E.table
[ spacing 0