[]
Gets or sets the width of the highlighted line for the hovered element.
[C1Description("Style.HoveredHighlightWidth", "The width of the highlighted line for the hovered element.")] public int HoveredHighlightWidth { get; set; }