TiddlyWiki5/plugins/tiddlywiki/codemirror/styles.tid

title: $:/plugins/tiddlywiki/codemirror/styles
tags: [[$:/tags/stylesheet]]

/* Make the editor resize to fit its content */

.CodeMirror {
	height: auto;
	border: 1px solid #ddd;
	line-height: 1.5;
	font-family: "Monaco", monospace;
}

.CodeMirror-scroll {
	overflow-x: auto;
	overflow-y: hidden;	
}
CodeMirror updates 2013-05-15 16:32:28 +00:00			`title: $:/plugins/tiddlywiki/codemirror/styles`
			`tags: [[$:/tags/stylesheet]]`

			`/* Make the editor resize to fit its content */`

			`.CodeMirror {`
			`height: auto;`
Update CodeMirror plugin to latest version and the new widget framework Now the CodeMirror plugin modifies the behaviour of the core edit-text widget. 2013-10-25 08:48:57 +00:00			`border: 1px solid #ddd;`
Improve readability of CodeMirror editor 2013-11-09 15:56:17 +00:00			`line-height: 1.5;`
			`font-family: "Monaco", monospace;`
CodeMirror updates 2013-05-15 16:32:28 +00:00			`}`

			`.CodeMirror-scroll {`
			`overflow-x: auto;`
			`overflow-y: hidden;`
			`}`