mirror of
https://github.com/NoRedInk/noredink-ui.git
synced 2024-12-25 22:53:34 +03:00
remove overrides
This commit is contained in:
parent
3b93e9686b
commit
16a6db0e20
@ -101,7 +101,6 @@ view attributes_ =
|
||||
[ Fonts.baseFont
|
||||
, color color_
|
||||
, boxSizing borderBox
|
||||
, styleOverrides
|
||||
, Css.batch attributes.customStyles
|
||||
]
|
||||
in
|
||||
@ -801,33 +800,6 @@ getRoleAttribute role =
|
||||
|
||||
|
||||
|
||||
-- Style overrides
|
||||
|
||||
|
||||
styleOverrides : Style
|
||||
styleOverrides =
|
||||
Css.Global.descendants
|
||||
[ Css.Global.a
|
||||
[ textDecoration none
|
||||
, color Colors.azure
|
||||
, borderBottom3 (px 1) solid Colors.azure
|
||||
, visited [ color Colors.azure ]
|
||||
]
|
||||
, -- This global selector and overrides are necessary due to
|
||||
-- old stylesheets used on the monolith that set the
|
||||
-- `.txt p { font-size: 18px; }` -- without these overrides,
|
||||
-- we may see giant ugly alerts.
|
||||
-- Remove these if you want to! but be emotionally prepped
|
||||
-- to deal with visual regressions. 🙏
|
||||
Css.Global.p
|
||||
[ margin zero
|
||||
, fontSize (px 13)
|
||||
, Fonts.baseFont
|
||||
]
|
||||
]
|
||||
|
||||
|
||||
|
||||
-- Dismiss buttons
|
||||
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user