From 11d3ef6176b6a16353e4733657621c98656848b4 Mon Sep 17 00:00:00 2001
From: Jeroen <jeroenpraat@xs4all.nl>
Date: Fri, 12 Sep 2014 18:55:53 +0000
Subject: This is even better. Adapts better to Red user settings.

---
 view/theme/redbasic/css/style.css | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/view/theme/redbasic/css/style.css b/view/theme/redbasic/css/style.css
index 196c1f8b0..df95e48b8 100644
--- a/view/theme/redbasic/css/style.css
+++ b/view/theme/redbasic/css/style.css
@@ -2273,11 +2273,11 @@ h1, h2 {
 }
 
 h3, h4 {
-		font-size: 0.9rem;
+		font-size: $font_size;
 }
 
 h5, h6 {
-		font-size: 0.75rem;	
+		font-size: $body_font_size;	
 }
 
 .dropdown-menu {
-- 
cgit v1.2.3