Html

Html

A widget that renders HTML content.

Attributes

• a (HtmlLink)
• body (String)
• font_size: (float)
• font_color: (Color)
• inline_code_padding (Padding)
• inline_code_margin (Margin)
• ul_markers (String)
• ol_markers (OrderedListType)
• ol_separator (String)

draw_normal

• color (Color)
• text_style (TextStyle)

draw_italic

• color (Color)
• text_style (TextStyle)

draw_bold

• color (Color)
• text_style (TextStyle)

draw_bold_italic

• color (Color)
• text_style (TextStyle)

draw_fixed

• color (Color)
• text_style (TextStyle)

code_layout

• align (Align)
• clip_x (bool)
• clip_y (bool)
• flow (Flow)
• padding (Padding)
• scroll (Vec2f)
• spacing (float)

code_walk

• width (Size)
• height (Size)
• margin (Margin)

quote_layout

• align (Align)
• clip_x (bool)
• clip_y (bool)
• flow (Flow)
• padding (Padding)
• scroll (Vec2f)
• spacing (float)

quote_walk

• width (Size)
• height (Size)
• margin (Margin)

list_item_layout

• align (Align)
• clip_x (bool)
• clip_y (bool)
• flow (Flow)
• padding (Padding)
• scroll (Vec2f)
• spacing (float)

list_item_walk

• width (Size)
• height (Size)
• margin (Margin)

sep_walk

• width (Size)
• height (Size)
• margin (Margin)

draw_block

• code_color (Color)
• line_color (Color)
• quote_bg_color (Color)
• quote_fg_color (Color)
• sep_color (Color)

HtmlLink

• color (Color)
• hover_color (Color)
• pressed_color (Color)