#!/mod/bin/jimsh

puts {</div>}

if {!$_dialog} {
	puts "<div data-role=footer data-theme=c>"

	if {![catch {
	    set rendertime $(([clock milliseconds] - $renderstart) / 1000.0)
	}]} {
		puts "<font class=footnote>
			Rendered in: $rendertime seconds</font>"
	}
	puts "</div>"
}

puts {
</div>
</body>
</html>
}

