|Did you know ...||Search Documentation:|
|Grammer rule page//2|
DOCTYPEdeclaration. HeadContent are elements to be placed in the
headelement and BodyContent are elements to be placed in the
To achieve common style (background, page header and footer), it is
possible to define DCG non-terminals head//1
checks for the definition of these non-terminals in the module it is
called from as well as in the
user module. If no definition
is found, it creates a head with only the HeadContent (note
title is obligatory) and a
white and the provided BodyContent.
page(Head, Body) --> html([ \['<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML 4.0//EN">\n'], html([ head(Head), body(bgcolor(white), Body) ]) ]).