html, body, text {
	    margin:0;
		font-family: Arial, Helvetica, sans-serif;
		font-size: 12pt;
		color: #000000;
	}

	svg {
	    margin:0;
		padding:0;
	    user-select:none;
	    -moz-user-select:none;
	    -webkit-user-select:none;
	}

	body {background-color:#F6F6F6;}


	.comments {color: #B5D7A1;}
	.includes {color: #E94E1B;}
	.keywords {color: #009FE3;}
	.braces {color: #1D70B7;}
	.strings {color: #9D9D9D;}
	
	.labels {color: #209DD9;}
	
	.variable {
		color: #000000;
		-webkit-transition-duration: 1.0s;
		-moz-transition-duration: 1.0s;
		transition-duration: 1.0s;
	}
	.variable_active {
		color: #209DD9;
		-webkit-transition-duration: 0.5s;
		-moz-transition-duration: 0.5s;
		transition-duration: 0.5s;
	}

	
	.vectorelement{
		border: 1px solid #585857;
		font-size: 12pt;
		color: #585857;
		padding-right: 3px;
		padding-left: 3px;
		-webkit-transition-duration: 1.0s;
		-moz-transition-duration: 1.0s;
		transition-duration: 1.0s;
		background-color: #FFFFFF;
	}
	.vectorelement_invisible{
		visibility: hidden;
	}
	
	.vectorelement_active{
		border: 1px solid #585857;
		font-size: 12pt;
		color: #FFFFFF;
		padding-right: 3px;
		padding-left: 3px;
		-webkit-transition-duration: 0.5s;
		-moz-transition-duration: 0.5s;
		transition-duration: 0.5s;
		background-color: #009FE3;
	}
	
	.button {
		padding: 2px 7px 2px 7px;
		background: #585858;
		color: #FFFFFF;
		-webkit-border-radius: 2px;
		-moz-border-radius: 2px;
		border-radius: 2px;
		-webkit-transition-duration: 0.1s;
		-moz-transition-duration: 0.1s;
		transition-duration: 0.1s;
		-webkit-user-select:none;
		-moz-user-select:none;
		-ms-user-select:none;
		user-select:none;
		text-decoration: none;
		cursor: pointer;
	}
	
	.button-active {
		padding: 2px 7px 2px 7px;
		background: #249FDD;
		color: #FFFFFF;
		-webkit-border-radius: 2px;
		-moz-border-radius: 2px;
		border-radius: 2px;
		-webkit-transition-duration: 0.1s;
		-moz-transition-duration: 0.1s;
		transition-duration: 0.1s;
		-webkit-user-select:none;
		-moz-user-select:none;
		-ms-user-select:none;
		user-select:none;
		text-decoration: none;
		cursor: pointer;
	}

	.button-hint {
		padding: 2px 7px 2px 7px;
		background: #841422;
		color: #FFFFFF;
		-webkit-border-radius: 2px;
		-moz-border-radius: 2px;
		border-radius: 2px;
		-webkit-transition-duration: 0.1s;
		-moz-transition-duration: 0.1s;
		transition-duration: 0.1s;
		-webkit-user-select:none;
		-moz-user-select:none;
		-ms-user-select:none;
		user-select:none;
		text-decoration: none;
		cursor: pointer;
	}
	
	.button:hover {
		background: #A48A7B;
		text-decoration: none;
		cursor: pointer;
	}
	
	.button-del {
		padding: 2px 7px 2px 7px;
		background: #585858;
		color: #FFFFFF;
		-webkit-border-radius: 2px;
		-moz-border-radius: 2px;
		border-radius: 2px;
		-webkit-transition-duration: 0.1s;
		-moz-transition-duration: 0.1s;
		transition-duration: 0.1s;
		-webkit-user-select:none;
		-moz-user-select:none;
		-ms-user-select:none;
		user-select:none;
		text-decoration: none;
		cursor: pointer;
	}
	.button-del:hover {
		background: #841422;
		color: #FFFFFF;
		text-decoration: none;
	}
	.button2:active {
		-webkit-box-shadow: inset 0 1px 4px rgba(0, 0, 0, 0.6);
		-moz-box-shadow: inset 0 1px 4px rgba(0, 0, 0, 0.6);
		box-shadow: inset 0 1px 4px rgba(0, 0, 0, 0.6);
		background: #2E5481;
	}
	
	
	#menu { 
		position:absolute; 
		top:0px; left:0px;
		width:520px; height:30px;
		z-index:80;
	}
	#editor { 
		position:absolute;
		top:30px; left:0px;
		z-index:15;
		width:520px; height: 820px; 
		background-color:#DDDDDD; 
	}
	
	#ccode { 
		position:absolute; 
		top:30px; left:0px; 
		z-index:10;
		width:520px; height:820px;
		white-space: pre-wrap; 
		overflow: auto;
		background-color:#FFFFFF;
		opacity: 1;		
		font-family: "Courier New", Courier, monospace;
		font-size: 10pt;
		font-weight: bold;
	}
	
	#testarea{ 
		position:absolute; 
		top:0px; left:525px;
		width:520px; height:850px;
	}

	#statestop { 
		position:absolute; 
		top:30px; left:0px;
		z-index:101; 
		width:510px; height:20px; 
		background-color:#E4F3F7; 
		padding: 5px; 
	}
	
	#states { 
		overflow: auto;
		position:absolute; 
		top:55px; left:0px;
		z-index:101; 
		width:510px; height:175px; 
		background-color:#E4F3F7; 
		line-height: 1.4;
		padding: 5px; 
	}

	#variables { 
		width:510px;
		white-space: pre-wrap;
	}

	#vectorvariables { 

	}
	
	#white { 
		position:absolute; 
		top:30px; left:0px;
		z-index:95; 
		width:520px; height:230px; 
		background-color:#FFFFFF; 
	}
	
	#inputfield { 
		position:absolute;
		top:245px; left:0px;
		z-index:102; 
		width:510px; height:30px; 
		background-color:#E4F3F7; 
		padding: 5px;
	}
	
	#inputlabeldpos{
		position: absolute; 
		top:10px;
	}

	#inputfieldpos{ 
		position: absolute;
		top:10px; 
		right:10px
	}
	#input{
		width:375px;
	}
	#outputtop { 
		position:absolute; 
		top:290px;
		left:0px; 
		z-index:9;
		width:510px;
		height:20px;
		background-color:#585858;
		font-family: "Courier New", Courier, monospace;
		font-size: 12pt;
		font-weight: bold;
		color: #F0F0F0;
		padding: 5px; }
	
	#outputfield { 
		position:absolute;
		top:320px; 
		left:0px; 
		z-index:6; 
		width:510px;
		height:520px;
		background-color:#585858;
		white-space: pre-wrap;
		font-family: "Courier New", Courier, monospace;
		font-size: 12pt;
		color: #F0F0F0;
		overflow:auto;
		padding: 5px;
	 }
	 
	#debugwindow { 
		opacity: 0.5;
		position:fixed;
		top:30px; 
		left:-1050px; 
		z-index:999; 
		width:200px;
		height:400px;
		border: 2px solid #B3B2B2;
		background-color:#585857;
		white-space: pre-wrap;
		font-family: "Courier New", Courier, monospace;
		font-size: 8pt;
		color: #F0F0F0;
		overflow:auto;
		padding: 5px;
	 }
	 
	#elementEditor { 
		-webkit-border-radius: 5px;
		-moz-border-radius: 5px;
		border-radius: 5px;
		opacity: 0;
		position:absolute;
		top:200px; 
		left:-1000px; 
		z-index:150; 
		width:410px;
		min-height:100px;
		border: 0px solid #B3B2B2;
		background-color:#FFFFFF;
		color: #F0F0F0;
	 }	 
	 
	#elementEditorInput { 
		line-height: 1.9;
		margin: 5px;
		opacity: 1;
		position:relative;
		top:0px; 
		left:0px; 
		width:386px;
		height:30px;
		border: 2px solid #000;
		background-color:#FFFFFF;
		color: #F0F0F0;
		padding: 5px;
	 }	

	#editorInput{
		width:335px;
		outline:none; 
		border:none; 
		border-style: none;
		font-size: 11pt;		
	}	 
	 
    #elementEditorVariables { 
		align: center;
		margin: 5px;
		line-height: 1.9;
		opacity: 1;
		position:relative;
		top:0px; 
		left:0px; 
		z-index:203; 
		width:390px;
		min-height:50px;
		background-color:#202020;
		color: #F0F0F0;
		padding: 5px;
	 }		
	 
	 #keyboard { 
		-webkit-border-radius: 5px;
		-moz-border-radius: 5px;
		border-radius: 5px;
		opacity: 1;
		position:absolute;
		top:90px; 
		left:-1000px; 
		z-index:20; 
		width:310px;
		min-height:100px;
		border: 0px solid #B3B2B2;
		background-color:#FFFFFF;
		color: #F0F0F0;
	 }	

	 #share_box { 
		-webkit-border-radius: 5px;
		-moz-border-radius: 5px;
		border-radius: 5px;
		opacity: 1;
		position:absolute;
		top:90px; 
		left:-1000px; 
		z-index:20; 
		width:310px;
		min-height:100px;
		border: 3px solid #B3B2B2;
		background-color:#CCCCCC;
		color: #F0F0F0;
	 }	
	 
	#keyboardInputField { 
		line-height: 1.9;
		margin: 5px;
		opacity: 1;
		position:relative;
		top:0px; 
		left:0px; 
		width:290px;
		height:30px;
		border: 0px solid #000;
		background-color:#E0E0E0;
		color: #F0F0F0;
		padding: 5px;
	 }	

	#keyboardInput{
		width:210px;
		font-size: 11pt;		
	}	 
	 
	#keyboardInputVectorSize{
		width:120px;
		font-size: 11pt;		
	}	
    #keyboardKeys { 
		margin: 5px;
		line-height: 1.9;
		opacity: 1;
		position:relative;
		top:0px; 
		left:0px; 
		width:290px;
		min-height:50px;
		background-color:#202020;
		color: #F0F0F0;
		padding: 5px;
	}	
	
    #keyboardVariables { 
		margin: 5px;
		line-height: 1.9;
		opacity: 1;
		position:relative;
		top:0px; 
		left:0px; 
		width:290px;
		min-height:50px;
		background-color:#202020;
		color: #F0F0F0;
		padding: 5px;
	}	

	#keyboardTypes { 
		margin: -5px 5px 5px 5px;
		line-height: 1.9;
		opacity: 1;
		position:relative;
		top:0px; 
		left:0px; 
		width:290px;
		min-height:50px;
		background-color:#E0E0E0;
		color: #F0F0F0;
		padding: 5px;
	}
	
	#typeof{
		color: #202020;
	}
    
	#keyboardVectorSizeVariables { 
		margin: 5px;
		line-height: 1.9;
		opacity: 1;
		position:relative;
		top:0px; 
		left:0px; 
		width:290px;
		min-height:50px;
		background-color:#202020;
		color: #F0F0F0;
		padding: 5px;
	}	
		
	#keyboardDeleteLabel{color: #841422; font-weight: bold}
	
	#haze{
		opacity: 0;
		position:fixed;
		top:0px; 
		left:0px; 
		background-color:#585857;		
		width: 00;
		height: 0;
		z-index:190;
	}