Constants: HTML Device

Parent: $root.$constants

kDevHtml Html destination ident
kDevHtmlALinkcolor Color for alinks
kDevHtmlBackcolor Document background color
kDevHtmlFileName Destination html file name.
kDevHtmlFont1 Font size <= to this maps to HTML font size 1
kDevHtmlFont2 Font size <= to this maps to HTML font size 2
kDevHtmlFont3 Font size <= to this maps to HTML font size 3
kDevHtmlFont4 Font size <= to this maps to HTML font size 4
kDevHtmlFont5 Font size <= to this maps to HTML font size 5
kDevHtmlFont6 Font size <= to this maps to HTML font size 6
kDevHtmlFont7 Font size <= to this maps to HTML font size 7
kDevHtmlImageBorder If true, images are given a single pixel border
kDevHtmlLinkcolor Color for links
kDevHtmlScaleFont User font size scaling option
kDevHtmlScaleFontLarge Scale font size large
kDevHtmlScaleFontNone No font size scaling
kDevHtmlScaleFontSmall Scale font size small
kDevHtmlScaleFontVLarge Scale font size very large
kDevHtmlScaleFontVSmall Scale font size very small
kDevHtmlTemplate HTML Template file name
kDevHtmlTemplateChars HTML Template insertion point chars
kDevHtmlTextcolor Default text color
kDevHtmlUseRects Use background rects for background colors in html document
kDevHtmlVLinkcolor Color for vlinks