ryuslash/yoshi-theme
1
0
Fork 0
mirror of https://git.sr.ht/~ryuslash/yoshi-theme synced 2025-01-31 03:15:52 +01:00
Code Releases Activity

Fix color names for faces

Browse source 
In cases like htmlize these hex values are used directly and Firefox can't
interpret such long hex color values, so fix it for now by shrinking them down
to their usual #rrggbb instead of #rrrrggggbbbb.
This commit is contained in:
Tom Willemse 2023-06-28 23:47:28 -07:00
parent 7a04227840
commit 69681fffe9
1 changed files with 10 additions and 10 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

20
yoshi-theme.el
View file

@ -60,16 +60,16 @@
(yoshi-4 "#848484") (yoshi-4 "#848484")
(yoshi-5 "#a2a2a2") (yoshi-5 "#a2a2a2")
(yoshi-6 "#bfbfbf") (yoshi-6 "#bfbfbf")
(bgred "#47ad1eb81eb8") (fgred "#ca3c828e828e") (brred "#f01f71267126") (bgred "#4a1b1b") (fgred "#c38888") (brred "#f17272")
(bgorange "#47ad374b1eb8") (fgorange "#ca3cad90828e") (brorange "#f01fbd557126") (bgorange "#4a341b") (fgorange "#c3a988") (brorange "#f1b572")
(bgyellow "#3f7c47ad1eb8") (fgyellow "#bbe6ca3c828e") (bryellow "#d6baf01f7126") (bgyellow "#374a1b") (fgyellow "#bec388") (bryellow "#dbf172")
(bggreen "#26e947ad1eb8") (fggreen "#90e4ca3c828e") (brgreen "#8a8bf01f7126") (bggreen "#2e4a1b") (fggreen "#9ec388") (brgreen "#88f172")
(bgturquoise "#1eb847ad2f1a") (fgturquoise "#828eca3c9f3a") (brturquoise "#7126f01fa3f0") (bgturquoise "#1b4a21") (fgturquoise "#88c393") (brturquoise "#72f1af")
(bgcyan "#1eb847ad47ad") (fgcyan "#828eca3cca3c") (brcyan "#7126f01ff01f") (bgcyan "#1b4a4a") (fgcyan "#88c3c3") (brcyan "#72f1f1")
(bgblue "#1eb82f1a47ad") (fgblue "#828e9f3aca3c") (brblue "#7126a3f0f01f") (bgblue "#1b214a") (fgblue "#8893c3") (brblue "#72aff1")
(bgpurple "#26e91eb847ad") (fgpurple "#90e4828eca3c") (brpurple "#8a8b7126f01f") (bgpurple "#2e1b4a") (fgpurple "#9e88c3") (brpurple "#8872f1")
(bgmagenta "#3f7c1eb847ad") (fgmagenta "#bbe6828eca3c") (brmagenta "#d6ba7126f01f") (bgmagenta "#371b4a") (fgmagenta "#be88c3") (brmagenta "#db72f1")
(bgpink "#47ad1eb8374b") (fgpink "#ca3c828ead90") (brpink "#f01f7126bd55")) (bgpink "#4a1b34") (fgpink "#c388a9") (brpink "#f172b5"))
(custom-theme-set-faces (custom-theme-set-faces
'yoshi 'yoshi