.CodeMirror {
	font-family: Consolas, Monaco, monospace;
	font-size: 13px;
	width: 99%;
	border: 1px solid #ddd;
	box-shadow: inset 0 1px 2px rgba(0, 0, 0, .07);
	padding: 2px 6px;
	line-height: 1.4;
}
.CodeMirror .CodeMirror-placeholder {
	color: #777;
}
#variable-search {
	margin-bottom: 1em;
}