#file-box {
	width: 100%;
	float: left;
	margin-right: -15em; /* was -180px; */
}

#file-editor {
	margin-right: 15em; /* was 180px; */
}

#file-chooser {
	float: right;
	width: 14em; /* was 170px; */
}
#file-chooser ul {
	padding-left: 0;
}
#file-chooser li {
	list-style: square inside;
}
#file-chooser li.default-file {
	color: #f90;
	font-weight: bold;
}
#file-chooser li.parent-file {
	color:#c00;
}
#file-chooser li.group-file {
	list-style: none;
	margin-bottom: 1em;
}
#file-chooser li.group-file ul {
	margin-top: .5em;
}
textarea {
	font: 1em Monaco,"Courier New",Courier,monospace;
}
.CodeMirror {
	height: 30em;
}
