/* Coding Stuff
 */

pre.code {
	border: 1px #6688AA solid;
	background-color: #F0F8FF;
	color: #000000;
	padding: 5px;
	margin: 5px;
}

pre.console {
	border: 1px #6688AA solid;
	background-color: #000000;
	color: #cccccc;
	font-weight: bold;
	padding: 5px;
	margin: 5px;
}

span.inp {
	background-color: #ffffff;
	color: #000000;
}

span.define {
	color: #008800;
}

span.sl {
	color: red;
}

span.hi {
	background-color: #FFFF88;
}

/* JavaScript Console...
 */
#console {
	background-color: #000000;
	color: #cccccc;
	font-weight: bold;
}

#code {
	background-color: #F0F8FF;
	color: #000000;
}