#content_text {
	font-size: 150%;
}

#texttools .fontxlrg {
	color: #A8262B;
}

#texttools .fontdef {
	color: #FFF;
}