From 96c86fd4b21d10f092948afce36b35f822abb4c2 Mon Sep 17 00:00:00 2001
From: Kolja Markwardt <kolja.markwardt@edeka.de>
Date: Tue, 15 Oct 2019 14:40:13 +0200
Subject: [PATCH] #783 Hard to customize font-size for gantt charts - deselect
 theme style if font-size is set on the taskText element (e.g. via
 gantt-config)

---
 src/themes/gantt.scss | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/themes/gantt.scss b/src/themes/gantt.scss
index 34da04050..b03ddd228 100644
--- a/src/themes/gantt.scss
+++ b/src/themes/gantt.scss
@@ -82,10 +82,12 @@
 
 .taskText {
   text-anchor: middle;
-  font-size: 11px;
   font-family: 'trebuchet ms', verdana, arial;
   font-family: var(--mermaid-font-family);
+}
 
+.taskText:not([font-size]) {
+  font-size: 11px;
 }
 
 .taskTextOutsideRight {