.divTextarea {
	 float: left; 
	 position: relative;
}

.CodeMirror {
	font-family: monospace;
	font-size: 13px;
	padding-left: 4px;
    margin-left:-15px;
    height: auto;
}

.CodeMirror-scroll {
    height: auto;
    overflow: hidden;
}

.CodeMirror-gutter {
    padding: 1px 8px 0 5px;
    font-size: 13px;
}

.CodeMirror.active {
  display: block;
}

.divOption {
	position: relative;
	float: left;
	height: 30px;
}
.divOption button {
	height:30px !important;
}
.layoutImpl {
	overflow: visible !important;
	min-height: 8300px !important;
	min-width: 4000px !important;
	overflow: visible !important;
}

.divTabs {
	position: relative !important;
	float: none !important;
}

.editSource {	
	overflow: visible;
	position:relative; 
	float:left;
}
.versionsTable {
	position: relative;
	float: left;
	width: 80px;
	height: 240px;
	overflow: scroll;
}

.descriptionField {
	width: 900px !important;
}

.sourceSelected_compiledfalse { background-color: CFCFCF !important;}
.sourceSelected_compiledfalse A { color: red !important;}
.sourceSelected_compiledfalse A:LINK { color: red !important;}

.sourceSelected_compiledtrue { background-color: CFCFCF !important;}

.compiled_false A { color: red !important;}
.compiled_false A:LINK { color: red !important;}

.panelCenter {
	margin: auto;
	padding-top: 80px;
	width: 500px;
}
.panelUser {
	margin: auto;
	padding-top: 80px;
	width: 600px;
}
.panelCenterPlatform {
	margin: auto;
	padding-top: 80px;
	width: 600px;
}
.divLineNumber {
	border: red solid 1px;
	width: 30px; 
	height: 8000px; 
	float: left; 
	position: relative;
	padding-top: 15px;
} 
.divLineNumber p {
 	margin-top: -9.2px !important; 
 	font-size: 0.7em !important; 
	color: red !important;
	text-align: center;
	line-height: 1.25;
}

.textarea p {
	line-height: 1.25;
}

.ui-widget { font-size: 1em !important; }
.ui-widget .ui-widget { font-size: 1em !important; }
.menu {
	margin:0px !important;
	padding:0px !important;
	border:none !important;
	height:37px !important;
}

.menuItem {
	height:15px !important; 
	padding:5px !important;
}

.divColumns {
	float: none;
	position: relative; 
	width: 500px;
	padding-bottom: 5px;
	padding-top: 5px;
}

.titleColumn {
	width: 100px;
	float: left;
	position: relative;
	text-align:center;
}

.titleColumn p {
	text-align:justify;
	padding-top: 0px;
}

.line {
	width: 100px; 
	float: left;
	position: relative; 
	text-align: center;
}

.lines {
	height:45px; 
	float: none;
	width: 500px;
	position: relative; 
}

.divLines {
	width: 500px; 
	height:152px; 
	border: 1px solid; 
	border-color: gray; 
	float:inherit; 
	position: relative; 
	overflow:hidden;
}

/* .textAreaDescription { */
/* 	rows:2; */
/* } */

@-moz-document url-prefix() {
   	.divLineNumber p {
		margin-top: -10.2px !important; 	
	}	
}

/* <!-- [if lt IE 8]> */
/* 	.divLineNumber p { */
/* 			margin-top: -10.2px !important; 	 */
/* 	} */
/* <![endif] --> */