GitHub/mermaid
1
0
Fork 0
mirror of https://github.com/mermaid-js/mermaid.git synced 2025-01-14 06:43:25 +08:00
Code Issues Projects Releases Wiki Activity

Merge pull request #996 from edekadigital/bug-783

Browse Source 
#783 Hard to customize font-size for gantt charts
This commit is contained in:
Knut Sveidqvist 2019-10-15 19:38:20 +02:00 committed by GitHub
commit 3709d9d5c8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/themes/gantt.scss
View File

@ -86,10 +86,12 @@
.taskText { .taskText {
text-anchor: middle; text-anchor: middle;
font-size: 11px;
font-family: 'trebuchet ms', verdana, arial; font-family: 'trebuchet ms', verdana, arial;
font-family: var(--mermaid-font-family); font-family: var(--mermaid-font-family);
}
.taskText:not([font-size]) {
font-size: 11px;
} }
.taskTextOutsideRight { .taskTextOutsideRight {