body {
	background-color:#8888ff;
	color:black;
	font-family:sans-serif;
	font-size:13px;
}
code {
	font-size:12px;
}
.syntaxError {
	color:red;
	font-weight: bold;
        font-size:18px;
}
textarea.visible {
	display:inline
}
textarea.hidden {
	display:none
}