ganv_box_get_border_width

double ganv_box_get_border_width (const GanvBox* box);