From 7c541329150227f972dfdfccd7da179b97228185 Mon Sep 17 00:00:00 2001
From: Jeremy Dormitzer <jeremy.dormitzer@gmail.com>
Date: Wed, 12 Jun 2019 18:01:01 -0400
Subject: [PATCH] Change divider to a div

---
 src/pollen.rkt        |  2 +-
 src/stylesheet.css.pp | 16 +++++++---------
 2 files changed, 8 insertions(+), 10 deletions(-)

diff --git a/src/pollen.rkt b/src/pollen.rkt
index 39bf547..f272e87 100644
--- a/src/pollen.rkt
+++ b/src/pollen.rkt
@@ -81,4 +81,4 @@
 	(make-excerpt (get-doc src)))))
 
 (define (divider)
-  (txexpr 'hr '((class "divider"))))
+  (txexpr 'div '((class "divider"))))
diff --git a/src/stylesheet.css.pp b/src/stylesheet.css.pp
index 9843571..abf54ba 100644
--- a/src/stylesheet.css.pp
+++ b/src/stylesheet.css.pp
@@ -9,7 +9,7 @@
 ◊(define link-hover-color "midnightblue")
 ◊(define link-visited-color "purple")
 ◊(define nav-hover-color "#707070")
-◊(define divider-color "#EFEFEF")
+◊(define divider-color "#CDCDCD")
 
 body {
     height: 100%;
@@ -47,14 +47,6 @@ img {
     width: 100%;
 }
 
-hr {
-    background-color: ◊|divider-color|;
-    border-color: ◊|divider-color|;
-    color: ◊|divider-color|;
-    margin-top: 2.5em;
-    margin-bottom: 2.5em;
-}
-
 a:visited {
     color: ◊|link-visited-color|;
 }
@@ -123,3 +115,9 @@ ul.navigation > li > a:hover {
 .section-header {
     margin-top: 2em;
 }
+
+div.divider {
+    margin-top: 2em;
+    margin-bottom: 2em;
+    border-top: 1px solid ◊|divider-color|;
+}