From e81a961d0f4b78618516c4760dd156190639ca86 Mon Sep 17 00:00:00 2001
From: Frank Schubert <fronk@fronk.at>
Date: Thu, 31 Mar 2022 19:22:18 +0200
Subject: [PATCH] changed hint color

---
 Layout/default/header.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Layout/default/header.php b/Layout/default/header.php
index a3cdc9456..3f973b9d1 100644
--- a/Layout/default/header.php
+++ b/Layout/default/header.php
@@ -34,7 +34,7 @@
 <?php if(MFAPPNAME == "devthetool"): ?>
         <style type="text/css">
           body {
-            border-left: 8px dashed #faa;
+            border-left: 8px dashed #f672a7;
           }
         </style>
 <?php endif; ?>