navig.graphics.extension string
navig.graphics.extension Extension for navigational graphics
.gif

## Description

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