feat: changed colour names to be more intuitive

This commit is contained in:
Nick 2024-11-28 00:58:24 -06:00
parent ed73a38cbe
commit 6019079212
10 changed files with 65 additions and 65 deletions

View file

@ -70,7 +70,7 @@ propositionMaker argument =
"A proposition is a declarative statement that can be evaluated as either true or false, and which serves as the basis for debate."
]
(text "Proposition:")
|> el [ F.color colourTheme.highlightText ]
|> el [ F.color colourTheme.textLightOrange ]
]
]
, column
@ -78,7 +78,7 @@ propositionMaker argument =
[ paragraph (paragraphBoldFormat ++ [ F.size 18 ])
[ text argument.propositionTitle
|> el
[ F.color colourTheme.nonHighlightedText
[ F.color colourTheme.textLightGrey
, F.regular
, F.size 16
]
@ -115,7 +115,7 @@ reductioMaker argument =
"This is the position from which the reductio ad absurdum is derived."
]
(text "Reductio:")
|> el [ F.color colourTheme.highlightText ]
|> el [ F.color colourTheme.textLightOrange ]
]
]
, column [ E.width fill, E.alignLeft ]
@ -148,7 +148,7 @@ summaryMaker argument =
"The following information provides additional context and insight into the reasoning behind the argument."
]
(text "Summary:")
|> el [ F.color colourTheme.highlightText ]
|> el [ F.color colourTheme.textLightOrange ]
]
]
, column
@ -163,7 +163,7 @@ summaryMaker argument =
)
[ text argument.propositionSummary
|> el
[ F.color colourTheme.nonHighlightedText
[ F.color colourTheme.textLightGrey
, F.regular
, F.size 16
]
@ -190,7 +190,7 @@ strengthMaker argument =
"This represents my confidence in the soundness of the argument."
]
(text "Confidence:")
|> el [ F.color colourTheme.highlightText ]
|> el [ F.color colourTheme.textLightOrange ]
]
]
, column
@ -259,7 +259,7 @@ tableMaker argument =
[ spacing 0
, D.rounded 10
, D.width 2
, D.color colourTheme.nonHighlightedDarkText
, D.color colourTheme.textDarkGrey
, clip
]
{ data = argument.definitionTable
@ -273,17 +273,17 @@ tableMaker argument =
, left = 1
, right = 1
}
, D.color colourTheme.nonHighlightedDarkText
, D.color colourTheme.textDarkGrey
, padding 8
, E.width fill
]
(text "Definiendum")
|> el [ F.color colourTheme.highlightText ]
|> el [ F.color colourTheme.textLightOrange ]
, width = fill |> maximum 50
, view =
\definition ->
row
[ F.color colourTheme.highlightText
[ F.color colourTheme.textLightOrange
, F.bold
, D.widthEach
{ bottom = 1
@ -291,7 +291,7 @@ tableMaker argument =
, left = 1
, right = 1
}
, D.color colourTheme.nonHighlightedDarkText
, D.color colourTheme.textDarkGrey
, padding 8
, E.height fill
]
@ -309,17 +309,17 @@ tableMaker argument =
, left = 0
, right = 1
}
, D.color colourTheme.nonHighlightedDarkText
, D.color colourTheme.textDarkGrey
, padding 8
, E.width fill
]
(text "Definiens")
|> el [ F.color colourTheme.highlightText ]
|> el [ F.color colourTheme.textLightOrange ]
, width = fill
, view =
\definition ->
paragraph
[ F.color colourTheme.nonHighlightedText
[ F.color colourTheme.textLightGrey
, F.regular
, D.widthEach
{ bottom = 1
@ -327,7 +327,7 @@ tableMaker argument =
, left = 0
, right = 1
}
, D.color colourTheme.nonHighlightedDarkText
, D.color colourTheme.textDarkGrey
, padding 8
, E.height fill
]
@ -376,7 +376,7 @@ formalizationMaker argument =
[ text ("P" ++ String.fromInt (premiseIndex + 1) ++ ")")
, text premiseWithNotation.premise
|> el
[ F.color colourTheme.nonHighlightedText
[ F.color colourTheme.textLightGrey
, F.regular
, paddingEach
{ top = 0
@ -388,7 +388,7 @@ formalizationMaker argument =
]
, paragraph argumentFormatting
[ text ("(" ++ premiseWithNotation.notation ++ ")")
|> el [ F.color colourTheme.highlightText, F.bold ]
|> el [ F.color colourTheme.textLightOrange, F.bold ]
]
]
)
@ -398,7 +398,7 @@ formalizationMaker argument =
[ text "C)"
, text argumentEntry.conclusion
|> el
[ F.color colourTheme.nonHighlightedText
[ F.color colourTheme.textLightGrey
, F.regular
, paddingEach
{ top = 0
@ -411,7 +411,7 @@ formalizationMaker argument =
, paragraph argumentFormatting
[ text ("(" ++ argumentEntry.conclusionNotation ++ ")")
|> el
[ F.color colourTheme.highlightText
[ F.color colourTheme.textLightOrange
, F.bold
]
]
@ -438,8 +438,8 @@ proofTreeMaker argument =
[ newTabLink
(paragraphBoldFormat
++ [ F.size 18
, F.color colourTheme.nonHighlightedText
, B.color colourTheme.highlightTextHover
, F.color colourTheme.textLightGrey
, B.color colourTheme.textDarkOrange
, paddingEach
{ top = 6
, bottom = 2
@ -452,9 +452,9 @@ proofTreeMaker argument =
, E.alignRight
, transitionStyle
, mouseOver
[ B.color colourTheme.highlightTextHover
, F.color colourTheme.nonHighlightedText
, D.color colourTheme.highlightTextHover
[ B.color colourTheme.textDarkOrange
, F.color colourTheme.textLightGrey
, D.color colourTheme.textDarkOrange
]
]
)