diff --git a/doc/themes/dark.theme b/doc/themes/dark.theme index ac8465da..37abd8d4 100644 --- a/doc/themes/dark.theme +++ b/doc/themes/dark.theme @@ -36,6 +36,7 @@ define theme: today = "rgb521" holiday = "gray4" label = "gray4" + ids = "color13" # Rotating Color Palette for tags. The leading zeroes allow the order to be # preserved.