?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
-@@ -66,6 +68,28 @@
+@@ -66,6 +68,31 @@
</div>
<div class="bar-right" id="bar__topright">
+ if (!plugin_isdisabled('html2pdf') || !plugin_isdisabled('dw2pdf')) { ?>
+ <form class="button" method="get" action="<?php wl($ID)?>">
+ <div class="no">
-+ <input type="submit" value="Export to PDF" class="button" />
++ <button type="submit" class="button">
++ <img src="<?php echo DOKU_BASE?>lib/images/fileicons/pdf.png" alt="PDF Export" />
++ Export to PDF
++ </button>
+ <input type="hidden" name="do" value="export_pdf" />
+ <input type="hidden" name="id" value="<?php echo $ID?>" />
+ <input type="hidden" name="rev" value="<?php echo $REV ?>" />