gui fixes

This commit is contained in:
SJ
2013-11-16 20:23:15 +01:00
parent 04ab9c7b38
commit 01357374ba
4 changed files with 10 additions and 9 deletions

View File

@ -89,7 +89,7 @@
<div class="boxfooter">
<form class="form-inline sleek" name="tagging">
<form class="form-inline sleek" name="tagging" onsubmit="return false;">
<?php if($n >= $page_len){ ?>
<span class="piler-right-margin">
@ -104,7 +104,7 @@
<?php } else { ?>&nbsp;<?php } ?>
<?php if(ENABLE_DOWNLOADING_ALL_SEARCH_HITS == 1) { ?>
<button id="download_all_search_hits" name="download_all_search_hits" class="btn btn-custom btn-inverse" onclick="Piler.download_all_search_hits();"><?php print $text_download_all_hits_as_eml; ?></button>
<button id="download_all_search_hits_as_eml" name="download_all_search_hits_as_eml" class="btn btn-custom btn-inverse" onclick="Piler.download_all_search_hits();"><?php print $text_download_all_hits_as_eml; ?></button>
<button id="download_all_search_hits_as_pdf" name="download_all_search_hits_as_pdf" class="btn btn-custom btn-warning" onclick="Piler.download_selected_as_pdf(); return false;"><?php print $text_download_selected_hits_as_pdf; ?></button>
<?php } ?>