.miniCodeEditor{
	display:flex;
	flex-direction:column;
	width:500px;
	height:250px;
	}
.miniCodeEditor_header{
	
	}
.miniCodeEditor_body{
	flex:1;
	}
.miniCodeEditor_area{
	min-width:100%;
	min-height:100%;
	font-family:courrier;
	white-space:pre;
	}
.miniCodeEditor_tb{
	
	}
.miniCodeEditor_args{
	display:flex;
	flex-direction:row;
	}
.miniCodeEditor_arg{
	font-weight:bold;
	padding:2px 10px;
	background-color:#bbbbbb;
	}