Merge pull request #217 from NoRedInk/change-highlights

Change purple highlight colour
This commit is contained in:
Ju Liu 2019-01-22 11:07:37 +00:00 committed by GitHub
commit 90485a4272
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -438,7 +438,7 @@ highlightBlueDark =
-}
highlightPurple : Css.Color
highlightPurple =
hex "#c9b0ff"
hex "#e3d6ff"
{-|