#textsize {
	font-size: 85%;
}

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

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