#code_text {
	overflow: scroll;
	tab-size: 4;
	height: 85vh;
	width: 100vw;
}

#code_text > .oper {
	color: rgb(0,0,128);
}

#code_text > .langfunc {
	color: rgb(128,128,0);
}

#code_text > .number {
	color: rgb(0,128,0);
}

#code_text > .punctuation {
	color: rgb(64,64,0);
}

#code_text > .comment {
	color: rgb(128,128,128);
}

#code_text > .compile_error {
	display: inline;
	position: relative;
	text-decoration: underline wavy red;
}

#code_text > .compile_error > .compile_error_tooltip {
	position: absolute;
	display: block;
	visibility: hidden;
}

#code_text > .compile_error > .compile_error_tooltip:after {
	content: attr(data-error);
	position: absolute;
	display: block;
	visibility: hidden;
	background:#FFFF80;
	border: 1px solid black;
	margin-top: -1.5em;
	margin-left: 1em;
	padding: 2px;
}

#code_text > .compile_error:hover > .compile_error_tooltip:after {
	visibility: visible;
}