#textsize {
	font-size: 150%;
}


.texttools .fontxlrg {
	color: #990000;
	text-decoration: none;
}

.texttools .fontdef {
	color: #006a65;
	text-decoration: none;
}