refs #15415 [fid_bbi] top pagination

* adds top pagination to search results
* restyles top pager to short variant

co-authored by: Dorian Merz <merz@ub.uni-leipzig.de>

themes/fid_bbi/scss/compiled.scss

@@ -306,6 +306,19 @@ footer {
   padding: 5px;
 }
 
+// RESULT LIST
+//// top pagination
+.pagination-short {
+  .hidden-xs {
+    display: none;
+  }
+  .pagination {
+    margin: initial;
+    margin-left: $grid-gutter-width;
+    float: left;
+  }
+}
+
 //// Search tools
 .searchtools {
   display: block;

themes/fid_bbi/templates/search/results.phtml

@@ -110,6 +110,13 @@ $recordTotal = $this->results->getResultTotal();
         <span class="limit">
         <?=$this->render('search/controls/limit.phtml')?>
         </span>
+        <?php /* fid_bbi: top pagination - CK */ ?>
+        <span class="pagination-short">
+        <? $paginator = $this->results->getPaginator();
+        $paginator->setPageRange(5); ?>
+        <?=$this->paginationControl($paginator, 'Sliding', 'search/pagination.phtml', ['results' => $this->results, 'options' => isset($this->paginationOptions) ? $this->paginationOptions : []])?>
+        </span>
+        <?php /* fid_bbi: top pagination - END */ ?>
         <span class="sort right">
         <?=$this->render('search/controls/sort.phtml')?>
         </span>