.editor { width: 100%; height: 80%; background-color: white; overflow: auto;
	border-style: solid;
	border-color: blue;
	border-left-width: 1px;
	border-right-width: 1px;
	border-top-width: 1px;
	border-bottom-width: 1px;	
}

.editor-menu {
	font-size: 12px;
}