From edd2274262490c3da253c4b0226c2541c1774873 Mon Sep 17 00:00:00 2001 From: ansuz Date: Thu, 5 Dec 2019 17:42:37 -0500 Subject: [PATCH] add a few default styles for gantt charts --- www/code/mermaid.css | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/www/code/mermaid.css b/www/code/mermaid.css index 769933f0a..0802db0e0 100644 --- a/www/code/mermaid.css +++ b/www/code/mermaid.css @@ -121,6 +121,11 @@ text.actor { font-size: 11px; text-height: 14px; } +.sectionTitle, .titleText { + font-weight: bold; + text-decoration: underline; +} + /* Grid and axis */ .grid .tick { stroke: lightgrey;