Constant TMT_MINSIZE3 

pub const TMT_MINSIZE3: THEME_PROPERTY_SYMBOL_ID;