Constant TMT_HIGHLIGHT 

pub const TMT_HIGHLIGHT: THEME_PROPERTY_SYMBOL_ID = 1614u32;