mirror of
https://github.com/NoRedInk/noredink-ui.git
synced 2024-11-24 08:53:33 +03:00
font size
This commit is contained in:
parent
bdae3f4445
commit
50cc8b5878
@ -776,7 +776,7 @@ sizeStyle size width =
|
||||
}
|
||||
|
||||
Medium ->
|
||||
{ fontSize = 17
|
||||
{ fontSize = 15
|
||||
, height = 45
|
||||
, imageHeight = 15
|
||||
, shadowHeight = 3
|
||||
|
@ -315,7 +315,7 @@ sizeToPx size =
|
||||
Css.px 15
|
||||
|
||||
Medium ->
|
||||
Css.px 17
|
||||
Css.px 15
|
||||
|
||||
Large ->
|
||||
Css.px 20
|
||||
|
Loading…
Reference in New Issue
Block a user