From 2e1bdce38b8a3243cf8a1d959fffffe2ff8657f5 Mon Sep 17 00:00:00 2001 From: Paul Beckingham Date: Sun, 22 May 2016 10:37:27 -0400 Subject: [PATCH] Themes: Updated holiday color so it doesn't stand out --- doc/themes/dark.theme | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/themes/dark.theme b/doc/themes/dark.theme index a5585d40..ac8465da 100644 --- a/doc/themes/dark.theme +++ b/doc/themes/dark.theme @@ -34,7 +34,7 @@ define theme: # General UI color. exclusion = "gray8 on gray4" today = "rgb521" - holiday = "rgb015" + holiday = "gray4" label = "gray4" # Rotating Color Palette for tags. The leading zeroes allow the order to be