Constant TMT_MINSIZE5 

pub const TMT_MINSIZE5: THEME_PROPERTY_SYMBOL_ID;