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

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

diff --git a/scss/_pager.scss b/scss/_pager.scss
index 9c5ff60c8a..933036061d 100644
--- 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 3d89aecb7d..5882597a05 100644
--- 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;