md2html: use proper formatting for hr

This addressed a non-existent background image and made the element
invisible. Drop the style and use something sane.

diff --git a/filters/html-converters/md2html b/filters/html-converters/md2html
index dc20f42a05cf2e18734a649e0e59620b844c7eae..fb22dee81290eeae1f9acc0d1be16d3ec35a3e14 100755 (executable)
--- a/filters/html-converters/md2html
+++ b/filters/html-converters/md2html
@@ -86,11 +86,7 @@ div#cgit .markdown-body h1 a.toclink, div#cgit .markdown-body h2 a.toclink, div#
     margin: 15px 0;
 }
 .markdown-body hr {
-    background: transparent url("/dirty-shade.png") repeat-x 0 0;
-    border: 0 none;
-    color: #ccc;
-    height: 4px;
-    padding: 0;
+    border: 1px solid #ccc;
 }
 .markdown-body>h2:first-child, .markdown-body>h1:first-child, .markdown-body>h1:first-child+h2, .markdown-body>h3:first-child, .markdown-body>h4:first-child, .markdown-body>h5:first-child, .markdown-body>h6:first-child {
     margin-top: 0;