From 927b09f19d5e5b06c7f832f0a15ad3e2552ecd97 Mon Sep 17 00:00:00 2001 From: Emmanuel Gil Peyrot Date: Mon, 10 Jan 2022 13:25:28 +0100 Subject: [PATCH] CSS: improve the contrast of DTD in the dark theme Make it Mauve instead of purple. :p --- prettify.css | 1 + 1 file changed, 1 insertion(+) diff --git a/prettify.css b/prettify.css index 531dbb4a..6a010822 100644 --- a/prettify.css +++ b/prettify.css @@ -36,4 +36,5 @@ .tag { color: #88f; font-weight: bold; } .atn { color: #f8f; } .atv { color: #8f8; } + .dec { color: #f8f; } }