Add $pager-border-width; refs #18150

2026-06-11 18:02:28 +03:00 · 2015-11-14 22:49:14 -08:00
parent a4594bd445
commit 687610e6f1
2 changed files with 2 additions and 1 deletions
@@ -411,6 +411,7 @@ $pagination-disabled-border:           #ddd !default;
 // Pager

 $pager-bg:                             $pagination-bg !default;
+$pager-border-width:                   $border-width !default;
 $pager-border-color:                   $pagination-border !default;
 $pager-border-radius:                  15px !default;