133134135136137138139140141142143
int index = out.getPageIndex(); xml.start("p") .attr("id", "nav") ; if(index > 0) { xml.start("a","href",out.getPageFilename(index-1)); xml.text("< prev"); xml.end(); } else { xml.text("< prev"); }
141142143144145146147148149150151
} else { xml.text("< prev"); } xml.text(" | page " + (index+1) + " | "); if(index < page.getDocument().getPages().size()-1) { xml.start("a") .attr("href",out.getPageFilename(index+1)) .text("next >") .end(); } else { xml.text("next >");