/* Terminal window */
pre.xterm {
	color: white;
	background-color: #333;
	padding: 20px;
	border: 1px dotted white;
	white-space: pre-wrap;
}

pre.xterm > span.green			{ color: #55ff55; }
pre.xterm > span.red 			{ color: #ff5555; }
pre.xterm > span.blue			{ color: #5454fb; }
pre.xterm > span.cyan 			{ color: #49dada; }