From 203264d7aff74f966287feecde14125c1feb3c6a Mon Sep 17 00:00:00 2001
From: Chris Rebert <code@chrisrebert.com>
Date: Sat, 14 Nov 2015 22:53:18 -0800
Subject: [PATCH] Add $pagination-border-width; refs #18150

---
 scss/_pagination.scss | 2 +-
 scss/_variables.scss  | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/scss/_pagination.scss b/scss/_pagination.scss
index 124e14acf4..282cd48863 100644
--- a/scss/_pagination.scss
+++ b/scss/_pagination.scss
@@ -18,7 +18,7 @@
       color: $pagination-color;
       text-decoration: none;
       background-color: $pagination-bg;
-      border: 1px solid $pagination-border-color;
+      border: $pagination-border-width solid $pagination-border-color;
     }
     &:first-child {
       > a,
diff --git a/scss/_variables.scss b/scss/_variables.scss
index 6f5283faff..c3d2bdbec0 100644
--- a/scss/_variables.scss
+++ b/scss/_variables.scss
@@ -393,6 +393,7 @@ $pagination-padding-y-lg:             .75rem !default;
 
 $pagination-color:                     $link-color !default;
 $pagination-bg:                        #fff !default;
+$pagination-border-width:              $border-width !default;
 $pagination-border-color:              #ddd !default;
 
 $pagination-hover-color:               $link-hover-color !default;