body.addAttribute("marginwidth", "0");
body.addAttribute("marginheight", "0");
Document document = new Document()
.setDoctype(new Doctype.Html40Transitional())
.setHtml(new Html().addElement(head).addElement(body));
document.output(out);
} catch(Exception e) {
out.println("<html><body><h3>Fatal error generating navigation frame content</h3><pre>"
+ Utils.getStackTrace(e) + "</pre></body></html>");