.div_plus_icon
{
	display:inline-table;
	width:13px;
	height:13px;

	border:1px solid black;

	text-align:center;
	vertical-align:top;

}

.div_plus_icon a
{
	color: black;
	font-family: sans-serif;
	font-size: 8pt;
	text-decoration: none;
}


.CodeMirror-line-numbers
{
	width: 2.2em;
	color: #FFFFFE;
	background-color: #8B4513; /*#eee;*/
	text-align: right;
	padding-right: .3em;
	font-size: 10pt;
	font-family: monospace;
	padding-top: .4em;
}
.CodeMirror-wrapping
{
	background-color:#F1EDC2;
}