Constant TMT_MINSIZE7 

pub const TMT_MINSIZE7: THEME_PROPERTY_SYMBOL_ID;