[pygtk] gtk.Border values

[Thomas Dybdahl Ahle]

Hi,
On http://www.pygtk.org/pygtk2reference/class-gtkborder.html it states
that gtk.Border holds values for top, bottom, left and right,
but I can't find them, neither like border.top, border["top"] nor
border.props.top.
Can anybody help me finding them?
-- 
Med venlig hilsen,
Best regards,
Thomas