/* Normalize Kotlin Playground layout within Inf-Schule articles */
article .kotlin-app,
article .CodeMirror {
	font-family: PTMono, "Courier New", monospace;
	font-size: 1.0rem;
}


article .CodeMirror pre.CodeMirror-line,
article .CodeMirror pre.CodeMirror-line-like,
article .CodeMirror .CodeMirror-line {
	margin: 0 !important;
	padding-left: 10px !important;
}

article .CodeMirror .CodeMirror-linenumber {
	color: #666;
	font-family: PTSansCaption, sans-serif;
	font-size: 1rem;
	line-height: 1.3 !important;
}