#---------------------------------------------------------------------------
# configuration options related to the HTML output
#---------------------------------------------------------------------------
#---------------------------------------------------------------------------
# configuration options related to the HTML output
#---------------------------------------------------------------------------