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 |