/// <summary>
        /// Produces HTML code for a section of the line, with &lt;span class="colorName"&gt; tags.
        /// </summary>
        public string ToHtml(int startOffset, int endOffset, HtmlOptions options = null)
        {
            StringWriter stringWriter = new StringWriter(CultureInfo.InvariantCulture);

            using (var htmlWriter = new HtmlRichTextWriter(stringWriter, options)) {
                WriteTo(htmlWriter, startOffset, endOffset);
            }
            return(stringWriter.ToString());
        }
        ///// <summary>
        ///// Produces HTML code for the line, with &lt;span class="colorName"&gt; tags.
        ///// </summary>
        public string ToHtml(HtmlOptions options = null)
        {
            StringWriter stringWriter = new StringWriter(CultureInfo.InvariantCulture);

            using (var htmlWriter = new HtmlRichTextWriter(stringWriter, options)) {
                WriteTo(htmlWriter);
            }
            return(stringWriter.ToString());
        }