From 49f9f4619d69df596936491dd160cb3dd94bdc2b Mon Sep 17 00:00:00 2001
From: Deimos <deimos@tildes.net>
Date: Sun, 26 May 2019 16:41:43 -0600
Subject: [PATCH] Use border color for <hr> elements

These were a little bright previously, since they used the same color as
text.
---
 tildes/scss/themes/_theme_base.scss | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/tildes/scss/themes/_theme_base.scss b/tildes/scss/themes/_theme_base.scss
index 84493bd..f01f57f 100644
--- a/tildes/scss/themes/_theme_base.scss
+++ b/tildes/scss/themes/_theme_base.scss
@@ -82,6 +82,10 @@
     border-color: map-get($theme, "border");
   }
 
+  hr {
+    border-color: map-get($theme, "border");
+  }
+
   main {
     background-color: map-get($theme, "background-primary");
   }