. /////////////////////////////////////////////////////////////////////////////
. Additional xfpt markup used by this document, over and above the default
. /////////////////////////////////////////////////////////////////////////////
. Additional xfpt markup used by this document, over and above the default