mirror of
https://github.com/NoRedInk/noredink-ui.git
synced 2024-11-28 10:17:49 +03:00
Adds padding settings to the tab button
This commit is contained in:
parent
dfe107a1c4
commit
a05f6892be
@ -331,6 +331,7 @@ tabStyles isSelected customSpacing =
|
||||
, Css.marginTop Css.zero
|
||||
, Css.marginRight Css.zero
|
||||
, Css.marginLeft (Css.px (Maybe.withDefault 10 customSpacing))
|
||||
, Css.padding2 (Css.px 1) (Css.px 6)
|
||||
, Css.marginBottom (Css.px -1)
|
||||
, Css.cursor Css.pointer
|
||||
, Css.firstChild [ Css.marginLeft Css.zero ]
|
||||
|
Loading…
Reference in New Issue
Block a user