navig.graphics.extension string navig.graphics.extension Extension for navigational graphics .gif Sets the filename extension to use on navigational graphics used in the headers and footers of chunked HTML.