@charset "ISO-8859-1";
.shrinktext {
	font-size: smaller;
}