mirrors/TiddlyWiki5
1
0
Fork 0
mirror of https://github.com/Jermolene/TiddlyWiki5 synced 2024-11-27 12:07:19 +00:00
Code Issues Releases Wiki Activity

CodeMirror plugin: tweak for font-size (#3294)

Browse Source
This commit is contained in:
BurningTreeC 2018-05-19 09:50:18 +02:00 committed by Jeremy Ruston
parent 6b14969cf6
commit 05af050cbf
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
plugins/tiddlywiki/codemirror/styles.tid
View File

@ -8,6 +8,7 @@ tags: [[$:/tags/Stylesheet]]
border: 1px solid #ddd; border: 1px solid #ddd;
line-height: 1.5; line-height: 1.5;
font-family: {{$:/themes/tiddlywiki/vanilla/settings/editorfontfamily}}; font-family: {{$:/themes/tiddlywiki/vanilla/settings/editorfontfamily}};
font-size: {{$:/themes/tiddlywiki/vanilla/metrics/bodyfontsize}};
} }
.CodeMirror-scroll { .CodeMirror-scroll {