1 function render_page() {
2 var dvi2epub = window.parent.dvi2epub;
3 var div = document.createElement('div');
6 if (dvi2epub.hasPrevPage()) {
7 h += sep + '<a href="JavaScript:window.parent.dvi2epub.prevPage()">Previous</a>';
10 if (dvi2epub.hasNextPage()) {
11 h += sep + '<a href="JavaScript:window.parent.dvi2epub.nextPage()">Next</a>';
15 document.body.appendChild(div);
18 function render_page_with_image() {
19 var dvi2epub = window.parent.dvi2epub;
20 var div = document.createElement('div');
22 var img = dvi2epub.getPage(dvi2epub.getCurrentPage()).image;
23 h += '<img src="' + img + '" alt="' + img + '"/>';
26 if (dvi2epub.hasPrevPage()) {
27 h += sep + '<a href="JavaScript:window.parent.dvi2epub.prevPage()">Previous</a>';
30 if (dvi2epub.hasNextPage()) {
31 h += sep + '<a href="JavaScript:window.parent.dvi2epub.nextPage()">Next</a>';
35 document.body.appendChild(div);