#textsize {
	font-size: 130%;
}

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

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