doctype

The "doctype" pragma is used to add a !DOCTYPE to the beginning of a compiled document.

The syntax for the doctype pragma consists of:

• An exclamation point !
• The keyword doctype
• The HTML doctype instructions to be passed through verbatim

This pragma is used to explicitly identify the compiled output's HTML version. Some older browsers need this. For most modern browsers, the doctype may be omitted, and the page will be interpreted as HTML5.

!doctype html-doctype
							

Pragmas can only be used on a line by themselves. They may not be used inside a basic phrase or term phrase. Any leading or trailing whitespace is discarded. Graynotes may be applied by adhering to the standard rules for graynotes.

Here is what a doctype pragma looks like within the body of a manuscript.

!doctype html
html {
    head {
        title Hello World
    }
}