From 69681fffe9350ebfab6263af97b539f24afb3521 Mon Sep 17 00:00:00 2001 From: Tom Willemse Date: Wed, 28 Jun 2023 23:47:28 -0700 Subject: [PATCH] Fix color names for faces 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. --- yoshi-theme.el | 20 ++++++++++---------- 1 file changed, 10 insertions(+), 10 deletions(-) diff --git a/yoshi-theme.el b/yoshi-theme.el index 6f955af..d69ddae 100644 --- a/yoshi-theme.el +++ b/yoshi-theme.el @@ -60,16 +60,16 @@ (yoshi-4 "#848484") (yoshi-5 "#a2a2a2") (yoshi-6 "#bfbfbf") - (bgred "#47ad1eb81eb8") (fgred "#ca3c828e828e") (brred "#f01f71267126") - (bgorange "#47ad374b1eb8") (fgorange "#ca3cad90828e") (brorange "#f01fbd557126") - (bgyellow "#3f7c47ad1eb8") (fgyellow "#bbe6ca3c828e") (bryellow "#d6baf01f7126") - (bggreen "#26e947ad1eb8") (fggreen "#90e4ca3c828e") (brgreen "#8a8bf01f7126") - (bgturquoise "#1eb847ad2f1a") (fgturquoise "#828eca3c9f3a") (brturquoise "#7126f01fa3f0") - (bgcyan "#1eb847ad47ad") (fgcyan "#828eca3cca3c") (brcyan "#7126f01ff01f") - (bgblue "#1eb82f1a47ad") (fgblue "#828e9f3aca3c") (brblue "#7126a3f0f01f") - (bgpurple "#26e91eb847ad") (fgpurple "#90e4828eca3c") (brpurple "#8a8b7126f01f") - (bgmagenta "#3f7c1eb847ad") (fgmagenta "#bbe6828eca3c") (brmagenta "#d6ba7126f01f") - (bgpink "#47ad1eb8374b") (fgpink "#ca3c828ead90") (brpink "#f01f7126bd55")) + (bgred "#4a1b1b") (fgred "#c38888") (brred "#f17272") + (bgorange "#4a341b") (fgorange "#c3a988") (brorange "#f1b572") + (bgyellow "#374a1b") (fgyellow "#bec388") (bryellow "#dbf172") + (bggreen "#2e4a1b") (fggreen "#9ec388") (brgreen "#88f172") + (bgturquoise "#1b4a21") (fgturquoise "#88c393") (brturquoise "#72f1af") + (bgcyan "#1b4a4a") (fgcyan "#88c3c3") (brcyan "#72f1f1") + (bgblue "#1b214a") (fgblue "#8893c3") (brblue "#72aff1") + (bgpurple "#2e1b4a") (fgpurple "#9e88c3") (brpurple "#8872f1") + (bgmagenta "#371b4a") (fgmagenta "#be88c3") (brmagenta "#db72f1") + (bgpink "#4a1b34") (fgpink "#c388a9") (brpink "#f172b5")) (custom-theme-set-faces 'yoshi