| favicon | #f | The name of an image file of the URL image. The
favicon custom can be either bound to a string
which is the name of the image, or to a procedure of
two arguments, a node and an engine that returns the file name
of the icon. This can be used to use different icons per
chapter or section. |
| javascript | #f | Enable/disable Javascript support. |
| head | #f | A string included in the HTML header. |
| css | '() | The URL or a list of URLs of
CSS
used by the document. |
| emit-sui | #f | Emit a SUI file for this document. |
| background | "#ffffff" | The background color of the document. |
| foreground | "#000000" | The foreground color of the document. |
| left-margin | #f | A procedure of two arguments producing the left margin of the document. |
| chapter-left-margin | #f | A procedure of two arguments producing the left margin of the document. |
| section-left-margin | #f | A procedure of two arguments producing the left margin of the document. |
| left-margin-font | #f | The font of the left margin. |
| left-margin-size | 17.0 | The width of the left margin. |
| left-margin-background | "#dedeff" | The background color of the left margin. |
| left-margin-foreground | "#000000" | The foreground color of the left margin. |
| right-margin | #f | A procedure of two arguments producing the right margin of the document. |
| chapter-right-margin | #f | A procedure of two arguments producing the right margin of the document. |
| section-right-margin | #f | A procedure of two arguments producing the right margin of the document. |
| right-margin-font | #f | The font of the right margin. |
| right-margin-size | 17.0 | The width of the right margin. |
| right-margin-background | "#dedeff" | The background color of the right margin. |
| right-margin-foreground | "#000000" | The foreground color of the right margin. |
| author-font | #f | The author font. |
| title-font | #f | The title font. |
| title-background | "#8381de" | The title background color. |
| title-foreground | "#000000" | The title foreground color. |
| file-title-separator | " -- " | A text to be inserted in between the document title and the chapter or section title when the chapter or section is rendered in a separate file. |
| index-header-font-size | 3.0 | The index header font size. |
| chapter-number->string | number->string | A procedure of one argument for rendering chapter numbers. |
| chapter-file | #f | A boolean specifying if chapters are rendered in speparate html file (see chapter markup). |
| section-title-start | "<h3>" | The HTML sequence for starting section title. |
| section-title-stop | "</h3>" | The HTML sequence for stopping section title. |
| section-title-background | "#dedeff" | The background color of section title. |
| section-title-foreground | "black" | The foreground color of section title. |
| section-title-number-separator | " " | The section title number separator. |
| section-number->string | number->string | A procedure of one argument for rendering section numbers. |
| section-file | #f | A boolean specifying if sections are rendered in speparate html file (see section markup). |
| subsection-title-start | "<h3>" | The HTML sequence for starting subsection title. |
| subsection-title-stop | "</h3>" | The HTML sequence for stopping subsection title. |
| subsection-title-background | "#ffffff" | The background color of subsection title. |
| subsection-title-foreground | "#8381de" | The foreground color of subsection title. |
| subsection-title-number-separator | " " | The subsection title number separator. |
| subsection-number->string | number->string | A procedure of one argument for rendering subsection numbers. |
| subsection-file | #f | A boolean specifying if subsections are rendered in speparate html file (see subsection markup). |
| subsubsection-title-start | "<h4>" | The HTML sequence for starting subsubsection title. |
| subsubsection-title-stop | "</h4>" | The HTML sequence for stopping subsubsection title. |
| subsubsection-title-background | #f | The background color of subsubsection title. |
| subsubsection-title-foreground | "#8381de" | The foreground color of subsubsection title. |
| subsubsection-title-number-separator | " " | The subsubsection title number separator. |
| subsubsection-number->string | number->string | A procedure of one argument for rendering subsubsection numbers. |
| subsubsection-file | #f | A boolean specifying if subsubsections are rendered in speparate html file (see subsubsection markup). |
| source-color | #t | A boolean enabling/disabling color of source code (see source markup). |
| source-comment-color | "#ffa600" | The source comment color. |
| source-define-color | "#6959cf" | The source define color. |
| source-module-color | "#1919af" | The source module color. |
| source-markup-color | "#1919af" | The source markup color. |
| source-thread-color | "#ad4386" | The source thread color. |
| source-string-color | "red" | The source string color. |
| source-bracket-color | "red" | The source bracket color. |
| source-type-color | "#00cf00" | The source type color. |