Name

navig.graphics.extension — Extension for navigational graphics

Synopsis

§125: §139

  1| <xsl:param name="navig.graphics.extension"
  2|            select="'.gif'"/>

Description

Sets the filename extension to use on navigational graphics used in the headers and footers of chunked HTML.