Skyline_divider_v1SourceDivider
Dividers are used to visually separate multiple elements in a UI. There are different styles of divider which can be used for items that are either arranged vertically or horizontally.
Usage
horizontal or vertical to separate sections of content with a thin line.interpunct or slash to separate items in a horizontal list of text.Example
Skyline.Divider.horizontal ()val horizontal :
?attrs:Bonsai_web.Vdom.Attr.t list ->
?length:Css_gen.Length.t ->
unit ->
Bonsai_web.Vdom.Node.tA horizontal hairline. By default the line has length=100%, but for some containers an explicit length is required.
?attrs - additional HTML attributes (default )?length - the width of the line (default 100%)Hairlines can be used to separate most types of content.
val vertical :
?attrs:Bonsai_web.Vdom.Attr.t list ->
?length:Css_gen.Length.t ->
unit ->
Bonsai_web.Vdom.Node.tA vertical hairline. By default the line has length=100%, but for some containers an explicit length is required.
?attrs - additional HTML attributes (default )?length - the height of the line (default 100%)Hairlines can be used to separate most types of content.
A centered dot · that can e.g. be used in-between textual items in a horizontal list.
To separate elements that are much bigger than a single line of text, a vertical hairline might be a better choice.
A forward slash / that can e.g. be used in-between textual items in a path.
This type of divider should typically only be used to separate text.