Themes: Added 'ids' for ID highlighting

This commit is contained in:
Paul Beckingham 2016-05-30 10:52:42 -04:00
parent 848c9fee14
commit e96f840d66

View file

@ -36,6 +36,7 @@ define theme:
today = "rgb521" today = "rgb521"
holiday = "gray4" holiday = "gray4"
label = "gray4" label = "gray4"
ids = "color13"
# Rotating Color Palette for tags. The leading zeroes allow the order to be # Rotating Color Palette for tags. The leading zeroes allow the order to be
# preserved. # preserved.