#editor, #sa-editor {
	margin: 0;
	width: 100%;
	height: 100%;
}

#editor.ace_gutter, #sa-editor.ace_gutter {
	height: 658px;
}

/* [*INIZIO*] WBS 4.8 MA : Gateway Progettazione. Aggiunto un selettore */
#editor *,
#opEditor *,
#sa-editor *,
#jseditor-properties *,
#gateway-jseditor-properties *,
#module-validation-script-editor *,
#jscript-field-editor * {
	font-family: 'Monaco', 'Menlo', 'Ubuntu Mono', 'Consolas', 'source-code-pro', monospace;
	
}
/* [*FINE*] WBS 4.8 */

#opEditor {
	width: 100%;
	height: 100%;
}

#op {
	width: 100%;
	height: 100%;
}

#op label {
	display: block;
	font-size: 1.1667em;
	font-weight: bold;
	color: #000000;
	margin-bottom: 0.5em;
}