13.2 Skribilo User Manual — HTML Engine
Contents↑ Engines

The HTML engine produces---guess what!---HTML output. It can be customized in various ways, as shown below.

13.2.1 HTML Customization

favicon default: #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.
charset default: "ISO-8859-1" The character set used for the document.
javascript default: #f Enable/disable Javascript support.
head default: #f A string included in the HTML header.
css default: () The URL or a list of URLs of CSS used by the document.
inline-css default: () The file or a list of files inlined inside the header's style section. The custom inline-css should be used in replacement of the css custom in order to produce stand alone HTML documents.
js default: () A URL or a list of URLs of JavaScript programs used by the document.
emit-sui default: #f Emit a SUI file for this document (see Section 4.4 for details).
background default: #f The background color of the document.
foreground default: #f The foreground color of the document.
margin-padding default: 3 Margins padding.
left-margin default: #f A procedure of two arguments producing the left margin of the document.
chapter-left-margin default: #f A procedure of two arguments producing the left margin of the document.
section-left-margin default: #f A procedure of two arguments producing the left margin of the document.
left-margin-font default: #f The font of the left margin.
left-margin-size default: 17.0 The width of the left margin.
left-margin-background default: #f The background color of the left margin.
left-margin-foreground default: #f The foreground color of the left margin.
right-margin default: #f A procedure of two arguments producing the right margin of the document.
chapter-right-margin default: #f A procedure of two arguments producing the right margin of the document.
section-right-margin default: #f A procedure of two arguments producing the right margin of the document.
right-margin-font default: #f The font of the right margin.
right-margin-size default: 17.0 The width of the right margin.
right-margin-background default: #f The background color of the right margin.
right-margin-foreground default: #f The foreground color of the right margin.
author-font default: #f The author font.
title-font default: #f The title font.
title-background default: #f The title background color.
title-foreground default: #f The title foreground color.
file-title-separator default: (unquote (! " — ")) 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.
file-name-proc default: (unquote html-file-default) A two-argument procedure that should return a string. This procedure is to be passed a node and an engine and should return a file name for the HTML page corresponding to this node.
index-header-font-size default: #f The index header font size.
chapter-number->string default: number->string A procedure of one argument for rendering chapter numbers.
chapter-file default: #f A boolean specifying if chapters are rendered in separate HTML file (see chapter markup).
section-title-start default: "<h3>" The HTML sequence for starting section title.
section-title-stop default: "</h3>" The HTML sequence for stopping section title.
section-title-background default: #f The background color of section title.
section-title-foreground default: #f The foreground color of section title.
section-title-number-separator default: " " The section title number separator.
section-number->string default: number->string A procedure of one argument for rendering section numbers.
section-file default: #f A boolean specifying if sections are rendered in separate HTML file (see section markup).
subsection-title-start default: "<h3>" The HTML sequence for starting subsection title.
subsection-title-stop default: "</h3>" The HTML sequence for stopping subsection title.
subsection-title-background default: #f The background color of subsection title.
subsection-title-foreground default: #f The foreground color of subsection title.
subsection-title-number-separator default: " " The subsection title number separator.
subsection-number->string default: number->string A procedure of one argument for rendering subsection numbers.
subsection-file default: #f A boolean specifying if subsections are rendered in separate HTML file (see subsection markup).
subsubsection-title-start default: "<h4>" The HTML sequence for starting subsubsection title.
subsubsection-title-stop default: "</h4>" The HTML sequence for stopping subsubsection title.
subsubsection-title-background default: #f The background color of subsubsection title.
subsubsection-title-foreground default: #f The foreground color of subsubsection title.
subsubsection-title-number-separator default: " " The subsubsection title number separator.
subsubsection-number->string default: number->string A procedure of one argument for rendering subsubsection numbers.
subsubsection-file default: #f A boolean specifying if subsubsections are rendered in separate HTML file (see subsubsection markup).
source-color default: #t A boolean enabling/disabling color of source code (see source markup).
source-comment-color default: "#ffa600" The source comment color.
source-error-color default: "red" The source error color.
source-define-color default: "#6959cf" The source define color.
source-module-color default: "#1919af" The source module color.
source-markup-color default: "#1919af" The source markup color.
source-thread-color default: "#ad4386" The source thread color.
source-string-color default: "red" The source string color.
source-bracket-color default: "red" The source bracket color.
source-type-color default: "#00cf00" The source type color.
image-format default: ("png" "gif" "jpg" "jpeg") The image formats for this engine.
(made with skribilo)