From 54badb2605268b762a3da0d3fc3b3d62bc4944c5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jana=20Deutschla=CC=88nder?= <deutschlaender@cosmocode.de>
Date: Thu, 23 Feb 2017 16:51:46 +0100
Subject: [PATCH] ini based border-color for pagefooter

---
 css/area_main-content.less | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/css/area_main-content.less b/css/area_main-content.less
index ed96763..6db9048 100755
--- a/css/area_main-content.less
+++ b/css/area_main-content.less
@@ -20,12 +20,12 @@
 
         }
     }
-    
+
     .wikipagefooter {
         > hr {
             margin-top: 3em;
             margin-bottom: 0.5em;
-            border-top: dashed grey 3px;
+            border-top: dashed @color-border-light 2px;
             border-bottom: none;
         }
     }