Add $pager-border-width; refs #18150

diff --git a/scss/_pager.scss b/scss/_pager.scss
index 9c5ff60c8ac437a19b29d03011392684be4a9f33..933036061db1ddb0312d46b0a4024069e619a902 100644 (file)
--- a/scss/_pager.scss
+++ b/scss/_pager.scss
@@ -14,7 +14,7 @@
       display: inline-block;
       padding: 5px 14px;
       background-color: $pager-bg;
-      border: 1px solid $pager-border-color;
+      border: $pager-border-width solid $pager-border-color;
       border-radius: $pager-border-radius;
     }
 

diff --git a/scss/_variables.scss b/scss/_variables.scss
index 3d89aecb7deec8d3bb348e20ea26f060de91435b..5882597a05282141769dbb7344a05b8549bffa46 100644 (file)
--- a/scss/_variables.scss
+++ b/scss/_variables.scss
@@ -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;