Constant TMT_PADDEDBORDERWIDTH 

pub const TMT_PADDEDBORDERWIDTH: THEME_PROPERTY_SYMBOL_ID;