mirror of
https://github.com/NoRedInk/noredink-ui.git
synced 2024-09-17 10:17:09 +03:00
Leave whitespace between the active tool indicator and the focus ring
This commit is contained in:
parent
25ea99ba50
commit
790a802ff5
@ -137,6 +137,7 @@ viewTool name focusAndSelect theme selected tag tools currentTool getName =
|
||||
[ Css.cursor Css.pointer
|
||||
, Css.position Css.relative
|
||||
, Css.pseudoClass "focus-within" FocusRing.styles
|
||||
, Css.paddingBottom (Css.px 2)
|
||||
]
|
||||
]
|
||||
[ input
|
||||
|
Loading…
Reference in New Issue
Block a user