Style.Box_sizingSourceCSS box-sizing property.
Specifies whether size styles for a node apply to its content box or border box.
The content box is the node's inner size excluding padding, border, and margin. The border box is the node's outer size including padding and border but excluding margin.
This property affects the interpretation of the following size styles:
sizemin_sizemax_sizeflex_basis (in flexbox layout)type t = | Border_boxSize styles specify the box's border box.
The size includes padding and border but excludes margin. This is the default behavior and matches the CSS box-sizing: border-box property.
| Content_boxSize styles specify the box's content box.
The size excludes padding, border, and margin. Matches the CSS box-sizing: content-box property.
to_string box_sizing converts the box sizing mode to its CSS string representation.
Returns "border-box" for Border_box and "content-box" for Content_box.
compare a b compares box sizing modes for use in ordered containers.
pp fmt t prints the box sizing mode to the formatter.