From e124787d5f0a1f0ccef20e919066528d9c26e8b4 Mon Sep 17 00:00:00 2001
From: Andres Galante <agalante@gmail.com>
Date: Mon, 23 Oct 2017 10:13:18 -0300
Subject: [PATCH] adds variables for the hr element margin

---
 scss/_type.scss      | 4 ++--
 scss/_variables.scss | 5 ++++-
 2 files changed, 6 insertions(+), 3 deletions(-)

diff --git a/scss/_type.scss b/scss/_type.scss
index b1b8f61cf5fc..6e98991d0de0 100644
--- a/scss/_type.scss
+++ b/scss/_type.scss
@@ -53,8 +53,8 @@ h6, .h6 { font-size: $h6-font-size; }
 //
 
 hr {
-  margin-top: 1rem;
-  margin-bottom: 1rem;
+  margin-top: $hr-margin-top;
+  margin-bottom: $hr-margin-bottom;
   border: 0;
   border-top: $hr-border-width solid $hr-border-color;
 }
diff --git a/scss/_variables.scss b/scss/_variables.scss
index 50972c53b9bd..5d2ac3e98cd1 100644
--- a/scss/_variables.scss
+++ b/scss/_variables.scss
@@ -282,7 +282,10 @@ $nested-kbd-font-weight:      $font-weight-bold !default;
 
 $list-inline-padding:         5px !default;
 
-$mark-bg: #fcf8e3 !default;
+$mark-bg:                     #fcf8e3 !default;
+
+$hr-margin-top:               1rem !default;
+$hr-margin-bottom:            1rem !default;
 
 
 // Tables