.kw {
	background-color: #9999FF;
}

.char {
	background-color: #FF9999;
}

.cmd {
	background-color: #99FF99;
}

a.cmd:link {
	background-color: #99FF99;
}

a.cmd:visited {
	background-color: #99FF99;
}