# Used when highlighting hints. declare-option range-specs hop_ranges set-face global hop_label_head black,green+F set-face global hop_label_tail black,blue+F