Constant TMT_BORDERSIZE 

pub const TMT_BORDERSIZE: THEME_PROPERTY_SYMBOL_ID;