@charset "ISO-8859-1";
descriptionfont {
	font-size: small;
}