Constant GTK_STYLE_PROPERTY_MARGIN 

pub const GTK_STYLE_PROPERTY_MARGIN: &[u8] = b"margin\0";