mirror of
https://github.com/NoRedInk/noredink-ui.git
synced 2024-11-05 08:34:38 +03:00
adjust height/margin
This commit is contained in:
parent
53b722ea91
commit
338885e73f
@ -253,7 +253,7 @@ headersStyles =
|
||||
|
||||
headerStyles : List Style
|
||||
headerStyles =
|
||||
[ padding4 (px 15) (px 12) (px 11) (px 12)
|
||||
[ padding4 (px 13) (px 12) (px 14) (px 12)
|
||||
, textAlign left
|
||||
, fontWeight bold
|
||||
]
|
||||
|
Loading…
Reference in New Issue
Block a user