From 5cc9ccb90d9ef472ca2e28a3452120f9fe1bf85d Mon Sep 17 00:00:00 2001
From: Daniel Rudolf <github.com@daniel-rudolf.de>
Date: Wed, 3 Aug 2016 17:56:11 +0200
Subject: [PATCH] Default theme: Fix hr element theming in IE8+

-- 
GitLab