clone/TiddlyWiki5
1
0
Fork 0
mirror of https://github.com/TiddlyWiki/TiddlyWiki5.git synced 2026-05-01 01:48:27 +00:00
Code Issues Packages Projects Releases Wiki Activity

CodeMirror: Ensure linenumber-gutter has a right border (#5212)

Browse Source 
* Ensure linenumber-gutter has a right border

* Update GruvBoxDark.tid

* Update Nord.tid
This commit is contained in:
Simon Huber
2020-12-06 09:56:06 +01:00
committed by GitHub
parent a857b4ab9a
commit a3a7d6450d
3 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -50,7 +50,7 @@ name: tiddlywiki
}
.cm-s-tiddlywiki.CodeMirror, .cm-s-tiddlywiki .CodeMirror-gutters { background-color: <<colour tiddler-editor-background>>; color: <<colour foreground>>; }
.cm-s-tiddlywiki .CodeMirror-gutters {background: <<colour tiddler-editor-background>>; border-right: 0px;}
.cm-s-tiddlywiki .CodeMirror-gutters {background: <<colour tiddler-editor-background>>; border-right: 1px solid <<colour tiddler-editor-border>>;}
.cm-s-tiddlywiki .CodeMirror-linenumber {color: <<colour foreground>>;}
.cm-s-tiddlywiki .CodeMirror-cursor { border-left: 2px solid <<colour foreground>>; }
.cm-s-tiddlywiki span.cm-comment { color: #586e75; font-style:italic; font-weight:normal; }