feat: added hashtags

This commit is contained in:
Nick 2024-11-24 01:53:40 -06:00
parent b3df4c7581
commit 33694f5ff8
4 changed files with 440 additions and 11 deletions

View file

@ -49,7 +49,7 @@ argumentMaker onClickMsg areArgsExpanded argument indexExpand =
]
[ titleMaker onClickMsg indexExpand argument.argumentTitle isArgumentExpanded
, column
([ E.width <| px 600, centerX, transitionStyle ]
([ E.width <| px 600, centerX, transitionStyle, spacing 10 ]
++ (if not isArgumentExpanded then
[ transitionStyle
, height <| px 0
@ -87,12 +87,11 @@ 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
@ -168,7 +167,7 @@ tableMaker argument isArgumentExpanded =
in
List.indexedMap
(\index argumentEntry ->
column (paragraphFormat ++ [ spacing 3, centerX, E.width <| px 500 ])
column (paragraphFormat ++ [ spacing 3, centerX, E.width <| px 500, paddingEach { top = 10, right = 0, bottom = 0, left = 0 } ])
(List.indexedMap
(\premiseIndex premiseWithNotation ->
column argumentFormatting
@ -201,7 +200,7 @@ tableMaker argument isArgumentExpanded =
argument.argumentFormalization
in
column [ centerX, E.width <| px 600 ]
[ wrappedRow (paragraphBoldFormat ++ [ E.alignLeft, E.width fill, paddingEach { top = 10, right = 0, bottom = 10, left = 0 } ])
[ wrappedRow (paragraphBoldFormat ++ [ E.alignLeft, E.width fill ])
[ E.table
[ spacing 0
, D.rounded 10