A property holding the rendered element’s border width in pixels as a gtk.Border The border is the intermediary spacing property of the padding/border/margin series.

gtk_render_frame() uses this property to find out the frame line width, so gtk.Widgets rendering frames may need to add up this padding when requesting size

enum STYLE_PROPERTY_BORDER_WIDTH = "border-width";