mirror of
https://github.com/NoRedInk/noredink-ui.git
synced 2024-12-01 00:34:27 +03:00
checkbox tweak
This commit is contained in:
parent
1ceddd8f35
commit
a8922451ee
@ -281,7 +281,7 @@ textStyle : Style
|
||||
textStyle =
|
||||
batch
|
||||
[ Fonts.baseFont
|
||||
, fontSize (px 16)
|
||||
, fontSize (px 15)
|
||||
, fontWeight (int 600)
|
||||
, color Colors.navy
|
||||
]
|
||||
|
Loading…
Reference in New Issue
Block a user