| Attribute Data Type: | string |
| Attribute Default Value: | |
| Atrribute Group: | HTML |
| Atrribute Purpose: | HTML export mark-up |
| Attribute Inherited from Preferences? | No |
| Attribute Read-Only? | No |
HTML ordered lists may be created by beginning new paragraphs with the '#' symbol. Ordered and regular (unordered) quick lists should not be mixed.
Default value is </ol>. The starting tag is set via HTMLOrderedListStart.
If the HTMLListItemStart and HTMLListItemEnd attributes are empty, all quick lists — as defined by lines starting with an * or a # — are disabled.
