Constant TMT_BORDERSIZE

pub const TMT_BORDERSIZE: THEME_PROPERTY_SYMBOL_ID;