/**
 * Better File Editor
 * https://wordpress.org/plugins/better-file-editor/
 *
 * Copyright (c) 2015 Bryan Petty
 * Licensed under the GPLv2+ license.
 */

#template {
	div {
		/* Need to reset margin here from core styles since it destroys
			 every single div contained in the editor... */
		margin-right: 0;

		#newcontent {
			width: 100%;
		}
	}
	#editor, > div {
		/* ... then redefine it in a much more scoped manner. */
		margin-right: 210px;
	}
}

#wp-ace-editor {
	position: relative;
	height: 560px;
	font-size: 12px;
	border: 1px solid #BBB;
	border-radius: 3px;
}

.ace_editor {
	font-family: Consolas, Menlo, "Liberation Mono", Courier, monospace !important;
}

#wp-ace-editor-controls table td {
	vertical-align: middle;
	padding: 5px;
}